Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11077)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: CASC 2018.
Buy print copy
About this book
This book constitutes the proceedings of the 20th International Workshop on Computer Algebra in Scientific Computing, CASC 2018, held in Lille, France, in September 2018.
The 24 full papers of this volume presented with an abstract of an invited talk and one paper corresponding to another invited talk were carefully reviewed and selected from 29 submissions. They deal with cutting-edge research in all major disciplines of computer algebra in sciences such as physics, chemistry, life sciences, and engineering.
Chapter “Positive Solutions of Systems of Signed Parametric Polynomial Inequalities” is available open access under a Creative Commons Attribution 4.0 International License via springerlink.bibliotecabuap.elogim.com.Similar content being viewed by others
Keywords
- computability and decidability
- computer systems, digital
- differential equations
- decision procedure
- finite element method
- formal logic
- formal methods
- image processing
- linear matrix inequalities
- matrix algebra
- numerical integrations
- numerical methods
- parallel processing systems
- software engineering
- algorithm analysis and problem complexity
Table of contents (25 papers)
-
Back Matter
Other volumes
-
Computer Algebra in Scientific Computing
Editors and Affiliations
Bibliographic Information
Book Title: Computer Algebra in Scientific Computing
Book Subtitle: 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, 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-99639-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2018
Softcover ISBN: 978-3-319-99638-7Published: 24 August 2018
eBook ISBN: 978-3-319-99639-4Published: 03 September 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 379
Number of Illustrations: 54 b/w illustrations
Topics: Algorithm Analysis and Problem Complexity, Mathematics of Computing, Special Purpose and Application-Based Systems, Computer System Implementation, Logic Design, Logics and Meanings of Programs