Skip to main content
  • Conference proceedings
  • © 2016

Mathematical Software – ICMS 2016

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

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): ICMS: International Congress on Mathematical Software

Conference proceedings info: ICMS 2016.

Buying options

eBook USD 79.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-42432-3
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (67 papers)

  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. Some Wellfounded Trees in UniMath

      • Benedikt Ahrens, Anders Mörtberg
      Pages 9-17
    3. Exercising Nuprl’s Open-Endedness

      • Vincent Rahli
      Pages 18-27
  4. Software for Mathematical Reasoning and Applications

    1. Front Matter

      Pages 35-35
    2. Towards the Automatic Discovery of Theorems in GeoGebra

      • Miguel Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
      Pages 37-42
    3. Automating Free Logic in Isabelle/HOL

      • Christoph Benzmüller, Dana Scott
      Pages 43-50
    4. Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT

      • Andrew Fish, Alexei Lisitsa, David Stanovský, Sarah Swartwood
      Pages 51-58
    5. Automated Deduction in Ring Theory

      • Ranganathan Padmanabhan, Yang Zhang
      Pages 67-74
    6. Agent-Based HOL Reasoning

      • Alexander Steen, Max Wisniewski, Christoph Benzmüller
      Pages 75-81
  5. Algebraic and Toric Geometry

    1. Front Matter

      Pages 91-91
    2. Bad Primes in Computational Algebraic Geometry

      • Janko Böhm, Wolfram Decker, Claus Fieker, Santiago Laplagne, Gerhard Pfister
      Pages 93-101
    3. The Subdivision of Large Simplicial Cones in Normaliz

      • Winfried Bruns, Richard Sieg, Christof Söger
      Pages 102-109
    4. Extending Singular with New Types and Algorithms

      • Hans Schönemann
      Pages 110-113
  6. Algebraic Geometry in Applications

    1. Front Matter

      Pages 115-115

Other Volumes

  1. Mathematical Software – ICMS 2016

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

About this book

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

  • Universität Kaiserslautern , Kaiserslautern, Germany

    Gert-Martin Greuel

  • Zuse Institute Berlin , Berlin, Germany

    Thorsten Koch

  • Johannes Kepler University Linz , Hagenberg, Austria

    Peter Paule

  • University of Notre Dame , Notre Dame, USA

    Andrew Sommese

Bibliographic Information

Buying options

eBook USD 79.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-42432-3
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.99
Price excludes VAT (USA)