© 2020

Mathematical Software – ICMS 2020

7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings

  • Anna Maria Bigatti
  • Jacques Carette
  • James H. Davenport
  • Michael Joswig
  • Timo de Wolff
Conference proceedings ICMS 2020

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

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

Table of contents

  1. Front Matter
    Pages i-xxiii
  2. Gröbner Bases in Theory and Practice

    1. Front Matter
      Pages 1-1
  3. Real Algebraic Geometry

    1. Front Matter
      Pages 15-15
    2. Akshar Nair, James Davenport, Gregory Sankaran
      Pages 17-26
  4. Algebraic Geometry via Numerical Computation

    1. Front Matter
      Pages 37-37
    2. Francesca Bianchi
      Pages 39-50
    3. Xiaxin Li, Jose Israel Rodriguez, Botong Wang
      Pages 51-60
    4. Jonathan D. Hauenstein, Margaret H. Regan
      Pages 61-69
  5. Computational Algebraic Analysis

    1. Front Matter
      Pages 71-71
  6. Software for Number Theory and Arithmetic Geometry

    1. Front Matter
      Pages 85-85
    2. Andreas-Stephan Elsenhans, Jörg Jahnel
      Pages 87-93
    3. Ricky E. Farr, Sebastian Pauli, Filip Saidak
      Pages 94-101
  7. Groups and Group Actions

    1. Front Matter
      Pages 103-103
    2. Alexandre Borovik, Şükrü Yalçınkaya
      Pages 115-124
    3. Bettina Eick, Michael Vaughan-Lee
      Pages 131-140

About these proceedings


This book constitutes the proceedings of the 7th International Conference on Mathematical Software, ICMS 2020, held in Braunschweig, Germany, in July 2020. The 48 papers included in this volume were carefully reviewed and selected from 58 submissions. The program of the 2020 meeting consisted of 20 topical sessions, each of which providing an overview of the challenges, achievements and progress in a environment of mathematical software research, development and use.


artificial intelligence computer hardware computer networks computer programming computer vision databases distributed computer systems distributed systems engineering geometry graph theory image processing internet linguistics mathematics parallel processing systems signal processing software software engineering theoretical computer science

Editors and affiliations

  1. 1.Dipartimento di MatematicaUniversità degli Studi di GenovaGenovaItaly
  2. 2.Computing and SoftwareMcMaster UniversityHamiltonCanada
  3. 3.Department of Computer ScienceUniversity of BathBathUK
  4. 4.Institut für Mathematik, MA 6-2TU BerlinBerlinGermany
  5. 5.Technische Universität BraunschweigBraunschweigGermany

Bibliographic information