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

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-319-42432-3
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-42431-6
  • Online ISBN 978-3-319-42432-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book