Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9725)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): ICMS: International Congress on Mathematical Software
Conference proceedings info: ICMS 2016.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (67 papers)
-
Front Matter
-
Invited Talk
-
Front Matter
-
-
Univalent Foundations and Proof Assistants
-
Front Matter
-
-
Software for Mathematical Reasoning and Applications
-
Front Matter
-
-
Algebraic and Toric Geometry
-
Front Matter
-
-
Algebraic Geometry in Applications
-
Front Matter
-
About this book
This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016.
The 68 papers included in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections named: univalent foundations and proof assistants; software for mathematical reasoning and applications; algebraic and toric geometry; algebraic geometry in applications; software of polynomial systems; software for numerically solving polynomial systems; high-precision arithmetic, effective analysis, and special functions; mathematical optimization; interactive operation to scientific artwork and mathematical reasoning; information services for mathematics: software, services, models, and data; semDML: towards a semantic layer of a world digital mathematical library; miscellanea.Keywords
- combinatorial computation
- complexity
- ontology for mathematics
- parallelisation
- symbolic computation
- computer algebra systems
- dynamic geometry software
- effective analysis and special functions
- foundations and proof assistants
- Gröbner bases
- high-precision arithmetic
- information services for mathematical software
- integration
- mathematical software
- models and data
- scientific artwork and visualisation
- software for mathematical optimization
- software of polynomial systems
- voronoi diagram
- world digital mathematical library
Editors and Affiliations
-
Universität Kaiserslautern , Kaiserslautern, Germany
Gert-Martin Greuel
-
Zuse Institute Berlin , Berlin, Germany
Thorsten Koch
-
Johannes Kepler University Linz , Hagenberg, Austria
Peter Paule
-
University of Notre Dame , Notre Dame, USA
Andrew Sommese
Bibliographic Information
Book Title: Mathematical Software – ICMS 2016
Book Subtitle: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
Editors: Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-42432-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-42431-6Published: 06 July 2016
eBook ISBN: 978-3-319-42432-3Published: 05 July 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXIV, 532
Number of Illustrations: 111 b/w illustrations
Topics: Discrete Mathematics in Computer Science, Math Applications in Computer Science, Numeric Computing, Software Engineering/Programming and Operating Systems, Algorithm Analysis and Problem Complexity