Mathematical Software – ICMS 2016 Mathematical Software – ICMS 2016

Mathematical Software – ICMS 2016

5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Gert-Martin Greuel and Others
    • $39.99
    • $39.99

Publisher Description

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.

GENRE
Computers & Internet
RELEASED
2016
July 5
LANGUAGE
EN
English
LENGTH
556
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
11.7
MB
Mathematical Software – ICMS 2020 Mathematical Software – ICMS 2020
2020
Mathematical Software – ICMS 2018 Mathematical Software – ICMS 2018
2018
Intelligent Computer Mathematics Intelligent Computer Mathematics
2008
Intelligent Computer Mathematics Intelligent Computer Mathematics
2009
Mathematical Aspects of Computer and Information Sciences Mathematical Aspects of Computer and Information Sciences
2016
Artificial Intelligence and Symbolic Computation Artificial Intelligence and Symbolic Computation
2018
Singularities, Algebraic Geometry, Commutative Algebra, and Related Topics Singularities, Algebraic Geometry, Commutative Algebra, and Related Topics
2018
Introduction to Singularities and Deformations Introduction to Singularities and Deformations
2007
Mathematik - Motor der Wirtschaft Mathematik - Motor der Wirtschaft
2008