Skip to main content
SpringerLink
Log in

Mathematical Software – ICMS 2016

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Gert-Martin Greuel

    1. Universität Kaiserslautern , Kaiserslautern, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Thorsten Koch

    1. Zuse Institute Berlin , Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Peter Paule

    1. Johannes Kepler University Linz , Hagenberg, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Andrew Sommese

    1. University of Notre Dame , Notre Dame, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: ICMS 2016.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (67 papers)

  1. Front Matter

    Pages I-XXIV
    Download chapter PDF

  2. Invited Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. With Extreme Scale Computing the Rules Have Changed

      • Jack Dongarra
      Pages 3-6

  3. Univalent Foundations and Proof Assistants

    1. Front Matter

      Pages 7-7
      Download chapter PDF

    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. Formalizing Double Groupoids and Cross Modules in the Lean Theorem Prover

      • Jakob von Raumer
      Pages 28-33

  4. Software for Mathematical Reasoning and Applications

    1. Front Matter

      Pages 35-35
      Download chapter PDF

    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. Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0

      • Alexander Maletzky
      Pages 59-66

    6. Automated Deduction in Ring Theory

      • Ranganathan Padmanabhan, Yang Zhang
      Pages 67-74

    7. Agent-Based HOL Reasoning

      • Alexander Steen, Max Wisniewski, Christoph Benzmüller
      Pages 75-81

    8. An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination

      • Yumi Wada, Takuya Matsuzaki, Akira Terui, Noriko H. Arai
      Pages 82-89

  5. Algebraic and Toric Geometry

    1. Front Matter

      Pages 91-91
      Download chapter PDF

    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
      Download chapter PDF
Back to top

Other volumes

  1. Mathematical Software – ICMS 2016

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation