Mathematical Software Icms 2016: Icms 2016, 5th International Conference, Proceedings

Greuel, Gert-Martin (Editor)/ Koch, Thorsten (Editor)/ Paule, Peter (Editor)/ Sommese, Andrew (Editor)

ISBN 10: 3319424319 / ISBN 13: 9783319424316

Published by Springer-Verlag New York Inc, 2016

About this Item

556 pages. 9.25x6.10x1.26 inches. In Stock.

Seller Inventory # x-3319424319

Bibliographic Details

• Title: Mathematical Software Icms 2016: Icms 2016, 5th International Conference, Proceedings
• Publisher: Springer-Verlag New York Inc
• Publication Date: 2016
• Language: English
• ISBN 10: 3319424319
• ISBN 13: 9783319424316
• Binding: Paperback
• Condition: Brand New
• Weight: 8.32 kilograms

About this title

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 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.