Mathematical Software - ICMS 2016

Gert-Martin Greuel

ISBN 10: 3319424319 / ISBN 13: 9783319424316

Published by Springer, Springer Jul 2016, 2016

About this Item

This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 556 pp. Englisch.

Seller Inventory # 9783319424316

Bibliographic Details

• Title: Mathematical Software - ICMS 2016
• Publisher: Springer, Springer Jul 2016
• Publication Date: 2016
• Language: English
• ISBN 10: 3319424319
• ISBN 13: 9783319424316
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 30D millimeters 235 millimeters width by 155 millimeters height by 30 millimeters depth
• Weight: 832 grams

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.