Mathematical Software – ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings: 9725 (Lecture Notes in Computer Science, 9725) - Softcover

Softcover

ISBN 10: 3319424319 ISBN 13: 9783319424316

Publisher: Springer, 2016

Synopsis

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.

About this title

About the Author

Thorsten Koch is a Professor of Software and Algorithms for Discrete Optimization at TU Berlin and director of the Scientific Information Department at Zuse Institute Berlin (ZIB). He joined ZIB in 1998, became a member of the DFG research center MATHEON in 2001 and has served as head of the Linear and Nonlinear Integer Programming Group since 2009. He has led joint research projects with industrial partners in the planning of infrastructure networks, chip verification, and integer programming.

Edition details

• Publisher: Springer
• Publication date: 2016
• Language: English
• ISBN 10: 3319424319
• ISBN 13: 9783319424316
• Binding: Paperback
• Edition number: 1
• Number of pages: 556
• Editor: Greuel Gert-Martin, Koch Thorsten, Paule Peter, Sommese Andrew