© 2016

Mathematical Software – ICMS 2016

5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

  • Gert-Martin Greuel
  • Thorsten Koch
  • Peter Paule
  • Andrew Sommese
Conference proceedings ICMS 2016

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9725)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9725)

Table of contents

  1. Front Matter
    Pages I-XXIV
  2. Invited Talk

    1. Front Matter
      Pages 1-1
  3. Univalent Foundations and Proof Assistants

    1. Front Matter
      Pages 7-7
    2. Benedikt Ahrens, Anders Mörtberg
      Pages 9-17
    3. Vincent Rahli
      Pages 18-27
  4. Software for Mathematical Reasoning and Applications

    1. Front Matter
      Pages 35-35
    2. Miguel Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
      Pages 37-42
    3. Christoph Benzmüller, Dana Scott
      Pages 43-50
    4. Andrew Fish, Alexei Lisitsa, David Stanovský, Sarah Swartwood
      Pages 51-58
    5. Ranganathan Padmanabhan, Yang Zhang
      Pages 67-74
    6. Alexander Steen, Max Wisniewski, Christoph Benzmüller
      Pages 75-81
  5. Algebraic and Toric Geometry

    1. Front Matter
      Pages 91-91
    2. Janko Böhm, Wolfram Decker, Claus Fieker, Santiago Laplagne, Gerhard Pfister
      Pages 93-101
    3. Winfried Bruns, Richard Sieg, Christof Söger
      Pages 102-109
    4. Hans Schönemann
      Pages 110-113
  6. Algebraic Geometry in Applications

    1. Front Matter
      Pages 115-115

About these proceedings


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.


combinatorial computation complexity ontology for mathematics parallelisation symbolic computation computer algebra systems dynamic geometry software effective analysis and special functions foundations and proof assistants Gröbner bases high-precision arithmetic information services for mathematical software integration mathematical software models and data scientific artwork and visualisation software for mathematical optimization software of polynomial systems voronoi diagram world digital mathematical library

Editors and affiliations

  • Gert-Martin Greuel
    • 1
  • Thorsten Koch
    • 2
  • Peter Paule
    • 3
  • Andrew Sommese
    • 4
  1. 1.Universität Kaiserslautern KaiserslauternGermany
  2. 2.Zuse Institute Berlin BerlinGermany
  3. 3.Johannes Kepler University Linz HagenbergAustria
  4. 4.University of Notre Dame Notre DameUSA

Bibliographic information

Industry Sectors
IT & Software