Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings - Gerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Keywords: Algorithms; Computer science-Mathematics.; Special purpose computers; Management information systems; Computer science; Software engineering; Computer logic; Algorithm Analysis and Problem Complexity; Mathematics of Computing; Special Purpose and Application-Based Systems; Management of Computing and Information Systems; Software Engineering; Logics and Meanings of Programs