Skip to main content
SpringerLink
Log in

Mathematical Software – ICMS 2020

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

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Anna Maria Bigatti

    1. Dipartimento di Matematica, Università degli Studi di Genova, Genova, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jacques Carette

    1. Computing and Software, McMaster University, Hamilton, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. James H. Davenport

    1. Department of Computer Science, University of Bath, Bath, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Michael Joswig

    1. Institut für Mathematik, MA 6-2, TU Berlin, Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Timo de Wolff

    1. Technische Universität Braunschweig, Braunschweig, Germany

    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 12097)

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

Included in the following conference series:

Conference proceedings info: ICMS 2020.

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 (48 papers)

  1. The Classification Problem in Geometry

    1. Front Matter

      Pages 141-141
      Download chapter PDF

    2. Classifying Simplicial Dissections of Convex Polyhedra with Symmetry

      • Anton Betten, Tarun Mukthineni
      Pages 143-152

    3. Classification Results for Hyperovals of Generalized Quadrangles

      • Bart De Bruyn
      Pages 153-161

    4. Isomorphism and Invariants of Parallelisms of Projective Spaces

      • Svetlana Topalova, Stela Zhelezova
      Pages 162-172

    5. Classification of Linear Codes by Extending Their Residuals

      • Stefka Bouyuklieva, Iliya Bouyukliev
      Pages 173-180

    6. The Program Generation in the Software Package QextNewEdition

      • Iliya Bouyukliev
      Pages 181-189

  2. Polyhedral Methods in Geometry and Optimization

    1. Front Matter

      Pages 191-191
      Download chapter PDF

    2. Algebraic Polytopes in Normaliz

      • Winfried Bruns
      Pages 193-201

    3. Real Tropical Hyperfaces by Patchworking in polymake

      • Michael Joswig, Paul Vater
      Pages 202-211

    4. Practical Volume Estimation of Zonotopes by a New Annealing Schedule for Cooling Convex Bodies

      • Apostolos Chalkis, Ioannis Z. Emiris, Vissarion Fisikopoulos
      Pages 212-221

    5. Slack Ideals in Macaulay2

      • Antonio Macchia, Amy Wiebe
      Pages 222-231

    6. Hyperplane Arrangements in polymake

      • Lars Kastner, Marta Panizzut
      Pages 232-240

    7. A Convex Programming Approach to Solve Posynomial Systems

      • Marianne Akian, Xavier Allamigeon, Marin Boyet, Stéphane Gaubert
      Pages 241-250

  3. Univalent Mathematics: Theory and Implementation

    1. Front Matter

      Pages 251-251
      Download chapter PDF

    2. Equality Checking for General Type Theories in Andromeda 2

      • Andrej Bauer, Philipp G. Haselwarter, Anja Petković
      Pages 253-259

  4. Artificial Intelligence and Mathematical Software

    1. Front Matter

      Pages 261-261
      Download chapter PDF

    2. GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry

      • Miroslav Olšák
      Pages 263-271

    3. A Formalization of Properties of Continuous Functions on Closed Intervals

      • Yaoshun Fu, Wensheng Yu
      Pages 272-280

    4. Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks

      • Changbo Chen, Zhangpeng Zhu, Haoyu Chi
      Pages 281-291

    5. Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving

      • Christopher W. Brown, Glenn Christopher Daves
      Pages 292-301
Back to top

Other volumes

  1. Mathematical Software – ICMS 2020

Keywords

About this book

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.

Editors and Affiliations

  • Dipartimento di Matematica, Università degli Studi di Genova, Genova, Italy

    Anna Maria Bigatti

  • Computing and Software, McMaster University, Hamilton, Canada

    Jacques Carette

  • Department of Computer Science, University of Bath, Bath, UK

    James H. Davenport

  • Institut für Mathematik, MA 6-2, TU Berlin, Berlin, Germany

    Michael Joswig

  • Technische Universität Braunschweig, Braunschweig, Germany

    Timo de Wolff

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation