© 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
    2. Janko Böhm, Magdaleen S. Marais, André F. van der Merwe
      Pages 117-126
    3. Daniel A. Brake, Jonathan D. Hauenstein, Alan C. Liddell Jr.
      Pages 127-135
  7. Software of Polynomial Systems

    1. Front Matter
      Pages 155-155
    2. James H. Davenport, Matthew England
      Pages 157-164
    3. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
      Pages 165-172
    4. Yinping Liu, Ruoxia Yao, Zhibin Li, Le Yang, Zhian Zhang
      Pages 181-188
  8. Software for Numerically Solving Polynomial Systems

    1. Front Matter
      Pages 189-189
    2. Miguel Ángel Marco-Buzunariz, Marcos Rodríguez
      Pages 191-197
    3. Anders Nedergaard Jensen
      Pages 198-205
    4. Hans Schönemann
      Pages 206-211
    5. Philippe Trébuchet, Bernard Mourrain, Marta Abril Bucero
      Pages 212-220
  9. High-Precision Arithmetic, Effective Analysis and Special Functions

    1. Front Matter
      Pages 221-221
    2. Alexis Breust, Christophe Chabot, Jean-Guillaume Dumas, Laurent Fousse, Pascal Giorgi
      Pages 223-231
    3. Mioara Joldes, Jean-Michel Muller, Valentina Popescu, Warwick Tucker
      Pages 232-240
  10. Mathematical Optimization

    1. Front Matter
      Pages 249-249
    2. Timo Berthold, James Farmer, Stefan Heinz, Michael Perregaard
      Pages 251-258
    3. Ralf Borndörfer, Sebastian Schenker, Martin Skutella, Timo Strunk
      Pages 259-264
    4. Mahmudul Hasan, Shahadat Hossain, Ahamad Imtiaz Khan, Nasrin Hakim Mithila, Ashraful Huq Suny
      Pages 275-283
    5. Chun Yu Hong, Matthias Köppe, Yuan Zhou
      Pages 284-291
    6. Stephen Maher, Matthias Miltenberger, João Pedro Pedroso, Daniel Rehfeldt, Robert Schwarz, Felipe Serrano
      Pages 301-307
  11. Interactive Operation to Scientific Artwork and Mathematical Reasoning

    1. Front Matter
      Pages 317-317
    2. Martin von Gagern, Ulrich Kortenkamp, Jürgen Richter-Gebert, Michael Strobel
      Pages 319-326

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