Skip to main content
SpringerLink
Log in

Mathematical Software – ICMS 2024

8th International Conference, Durham, UK, July 22–25, 2024, Proceedings

  • Conference proceedings
  • © 2024

Overview

Editors:
  1. Kevin Buzzard

    1. Imperial College London, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alicia Dickenstein

    1. University of Buenos Aires, Buenos Aires, Argentina

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Bettina Eick

    1. TU Braunschweig, Braunschweig, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Anton Leykin

    1. Georgia Institute of Technology, Atlanta, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Yue Ren

    1. Durham University, Durham, UK

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

Included in the following conference series:

Conference proceedings info: ICMS 2024.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.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

About this book

This book constitutes the proceedings of the 8th International Conference on Mathematical Software, ICMS 2024, held in Durham, UK, during July 22–25, 2024.

The 37 full papers presented were carefully reviewed and selected from 46 submissions. The papers are organized in subject areas as follows: plenary lectures; number theory and related areas; novel formalisations of mathematics in lean; software for the applications of group theory to combinatorics; classical algebraic geometry & modern computer algebra: innovative software design and its applications; advancing computer algebra with massively parallel methods; computer algebra applications in the life sciences; machine learning within computer algebra systems; numerical software for special functions; mathematical research data; symbolic-numeric methods in algebraic geometry; Polyhedral geometry and combinatorics; general session.

Keywords

Table of contents (37 papers)

  1. Front Matter

    Pages i-xxiv
    Download chapter PDF

  2. Plenary Lectures

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. The Reformation of Sage

      • Matthias Köppe
      Pages 3-11

    3. Algorithm and Abstraction in Formal Mathematics

      • Heather Macbeth
      Pages 12-25

  3. Number Theory and Related Areas

    1. Front Matter

      Pages 27-27
      Download chapter PDF

    2. Computing the Determinant of a Dense Matrix over \({\mathbb Z}\)

      • John Abbott, Claus Fieker
      Pages 29-35

    3. FastECPP over MPI

      • Andreas Enge
      Pages 36-45

    4. Attacking a Levelled Fully Homomorphic Encryption System with Topological Data Analysis

      • Aaruni Kaushik
      Pages 46-53

  4. Novel Formalisations of Mathematics in Lean

    1. Front Matter

      Pages 55-55
      Download chapter PDF

    2. Formalising Families of \(\ell \)-adic Galois Representations in Lean 4

      • Ivan Farabella
      Pages 57-62

    3. Formalization of the Existence of Frobenius Elements

      • Jou Glasheen
      Pages 63-71

    4. Formalising Analysis in Lean: Compactness and Dimensionality

      • Dawid Lipinski
      Pages 72-77

    5. Formalisation of the Category of Hopf Algebras in Lean4

      • Jujian Zhang, Yunzhou Xie, Yichen Feng, Yanqiao Zhou
      Pages 78-86

  5. Software for the Applications of Group Theory to Combinatorics

    1. Front Matter

      Pages 87-87
      Download chapter PDF

    2. Computing the Group of an Algebraic Variety over a Finite Field

      • Abdullah Alazemi, Anton Betten
      Pages 89-96

    3. Computer Classification of Linear Codes Based on Lattice Point Enumeration

      • Sascha Kurz
      Pages 97-105

    4. Software for Proper Vertex-Colouring Exploiting Graph Symmetry

      • Leonard H. Soicher
      Pages 106-112

  6. Classical Algebraic Geometry and Modern Computer Algebra: Innovative Software Design and Its Applications

    1. Front Matter

      Pages 113-113
      Download chapter PDF

    2. Localization in Gromov—Witten Theory of Toric Varieties in a Computer Algebra System

      • Giosuè Muratore
      Pages 115-124

  7. Advancing Computer Algebra with Massively Parallel Methods

    1. Front Matter

      Pages 125-125
      Download chapter PDF
Back to top

Other volumes

  1. Mathematical Software – ICMS 2024

Editors and Affiliations

  • Imperial College London, London, UK

    Kevin Buzzard

  • University of Buenos Aires, Buenos Aires, Argentina

    Alicia Dickenstein

  • TU Braunschweig, Braunschweig, Germany

    Bettina Eick

  • Georgia Institute of Technology, Atlanta, USA

    Anton Leykin

  • Durham University, Durham, UK

    Yue Ren

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation