ENGLISH

Mathematical Software – ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

By Gert-Martin Greuel , Peter Paule , Thorsten Koch , Andrew Sommese (eds.)

Book information

Publisher
Springer International Publishing
Year
2016
ISBN
978-3-319-42431-6, 978-3-319-42432-3
DOI
10.1007/978-3-319-42432-3
Language
english
Format
PDF
Filesize
41 MB (42739945 bytes)
Series
Lecture Notes in Computer Science 9725
Edition
1
Pages
XXIV, 532\533
Time added
2016-07-20 04:00:00
Discrete Mathematics in Computer Science; Math App

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.

Similar books