Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9301)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: CASC 2015.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This book constitutes the proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, held in Aachen, Germany, in September 2015.
The 35 full papers presented in this volume were carefully reviewed and selected from 42 submissions. They deal with the ongoing progress both in theoretical computer algebra and its expanding applications. New and closer interactions are fostered by combining the area of computer algebra methods and systems and the application of the tools of computer algebra for the solution of problems in scientific computing.
Similar content being viewed by others
Keywords
- automated reasoning
- computer algebra systems
- differential equations
- mathematical software
- quantum computation theory
- applications to natural sciences and engineering
- cloud computing
- complexity
- computability
- design and analysis of algorithms
- differential algebra
- finite element methods
- gröbner bases
- linear algebra
- logic
- modeling and simulation
- numerical analysis
- object oriented programming
- symbolic and algebraic algorithms
- Web interface
Table of contents (35 papers)
Other volumes
-
Computer Algebra in Scientific Computing
Editors and Affiliations
Bibliographic Information
Book Title: Computer Algebra in Scientific Computing
Book Subtitle: 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings
Editors: Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-24021-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-24020-6Published: 08 September 2015
eBook ISBN: 978-3-319-24021-3Published: 10 September 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 494
Number of Illustrations: 75 illustrations in colour
Topics: Algorithm Analysis and Problem Complexity, Discrete Mathematics in Computer Science, Symbolic and Algebraic Manipulation, Arithmetic and Logic Structures