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

Greuel, Gert-Martin:

ISBN 10: 3319424319 / ISBN 13: 9783319424316

Published by Cham, Springer International Publishing AG, 2016

About this Item

533 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. so7951 9783319424316 Sprache: Englisch Gewicht in Gramm: 900.

Seller Inventory # 2347649

Bibliographic Details

• Title: Mathematical Software - ICMS 2016. 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings.
• Publisher: Cham, Springer International Publishing AG
• Publication Date: 2016
• Language: English
• ISBN 10: 3319424319
• ISBN 13: 9783319424316
• Binding: Soft cover
• Weight: 900 grams
• Seller catalogs:
  • SA MATHEMATIK

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.