Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12097)
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 2020.
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 (48 papers)
-
Front Matter
-
Gröbner Bases in Theory and Practice
-
Front Matter
-
-
Real Algebraic Geometry
-
Front Matter
-
-
Algebraic Geometry via Numerical Computation
-
Front Matter
-
-
Computational Algebraic Analysis
-
Front Matter
-
-
Software for Number Theory and Arithmetic Geometry
-
Front Matter
-
-Integral Points on a Mordell CurveAbout this book
This book constitutes the proceedings of the 7th International Conference on Mathematical Software, ICMS 2020, held in Braunschweig, Germany, in July 2020. The 48 papers included in this volume were carefully reviewed and selected from 58 submissions. The program of the 2020 meeting consisted of 20 topical sessions, each of which providing an overview of the challenges, achievements and progress in a environment of mathematical software research, development and use.
Keywords
- artificial intelligence
- computer hardware
- computer networks
- computer programming
- computer vision
- databases
- distributed computer systems
- distributed systems
- engineering
- geometry
- graph theory
- image processing
- internet
- linguistics
- mathematics
- parallel processing systems
- signal processing
- software
- software engineering
- theoretical computer science
Editors and Affiliations
-
Dipartimento di Matematica, Università degli Studi di Genova, Genova, Italy
Anna Maria Bigatti
-
Computing and Software, McMaster University, Hamilton, Canada
Jacques Carette
-
Department of Computer Science, University of Bath, Bath, UK
James H. Davenport
-
Institut für Mathematik, MA 6-2, TU Berlin, Berlin, Germany
Michael Joswig
-
Technische Universität Braunschweig, Braunschweig, Germany
Timo de Wolff
Bibliographic Information
Book Title: Mathematical Software – ICMS 2020
Book Subtitle: 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings
Editors: Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-52200-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2020
Softcover ISBN: 978-3-030-52199-8Published: 08 July 2020
eBook ISBN: 978-3-030-52200-1Published: 07 July 2020
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXIII, 494
Number of Illustrations: 418 b/w illustrations, 111 illustrations in colour
Topics: Discrete Mathematics in Computer Science, Data Structures and Information Theory, Computer Communication Networks, Special Purpose and Application-Based Systems, Computer System Implementation, Mathematical Applications in Computer Science