Mathematical Software - ICMS 2024

.- Plenary Lectures.

.- The Reformation of Sage.

.- Algorithm and abstraction in formal mathematics.

.- Number theory and related areas.

.- Computing the Determinant of a Dense Matrix over Z.

.- FastECPP over MPI.

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

.- Novel Formalisations of Mathematics in Lean.

.- Formalising Families of l-adic Galois Representations in Lean 4.

.- Formalization of the Existence of Frobenius Elements.

.- Formalising Analysis in Lean: Compactness and Dimensionality.

.- Formalisation of the Category of Hopf Algebras in Lean4.

.- Software for the applications of group theory to combinatorics.

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

.- Computer classification of linear codes based on lattice point enumeration.

.- Software for proper vertex-colouring exploiting graph symmetry.

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

.- Localization in Gromov–Witten theory of toric varieties in a computer algebra system.

.- Advancing computer algebra with massively parallel methods.

.- Massively Parallel Methods for Free Resolutions.

.- Towards Parallel Methods in Birational Geometry.

.- Towards Parallel Algorithms for Gromov-Witten Invariants of Elliptic Curves.

.- Computer algebra applications in the life sciences.

.- A SageMath Package for Elementary and Sign Vectors with Applications to Chemical Reaction Networks.

.- Machine learning within computer algebra systems.

.- Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs.

.- Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems.

.- Machine Learning for Variable Ordering in Cylindrical Algebraic Decomposition.

.- Machine learning for number theory.

.- Numerical software for special functions.

.- Approximation of an inverse of the incomplete beta function.

.- DLMF Standard Reference Tables on Demand.

.- Mathematical research data.

.- Integrating Mathematical Data and Resources: Advancements in zbMATH Open for Enhanced Mathematical Research Accessibility and Reproducibility.

.- A FAIR File Format for Mathematical Software.

.- Predefined Software Environment Runtimes As A Measure For Reproducibility.

.- Towards a FAIR Documentation of Workflows and Models in Applied Mathematics.

.- Symbolic-numeric methods in algebraic geometry.

.- Monodromy Coordinates.

.- Effective alpha theory certification using interval arithmetic: alpha theory over regions.

.- Gr¨obner Degenerations of Determinantal Ideals with an Application to Toric Degenerations of Grassmannians.

.- Polyhedral geometry and combinatorics.

.- Eigenvalue Methods for Sparse Tropical Polynomial Systems.

.- A framework for generalized tropical homotopy continuation.

.- Regular Flips in mptopcom.

.- Dynamic decomposition of tropical prevarieties for celestial mechanics.

.- General Session.

.- Integrating GeoGebra with React and WebAssembly: A Web-Based Approach for Mathematical Software Development.

.- DetGB: A Software Package for Computing Gr¨obner Bases of Determinantal Ideals.

.- Extrapolating Solution Paths of Polynomial Homotopies towards Singularities with PHCpack and phcpy.