default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICMS 2024: Durham, UK
- Kevin Buzzard
, Alicia Dickenstein, Bettina Eick, Anton Leykin, Yue Ren:
Mathematical Software - ICMS 2024 - 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings. Lecture Notes in Computer Science 14749, Springer 2024, ISBN 978-3-031-64528-0
Plenary Lectures
- Matthias Köppe:
The Reformation of Sage. 3-11 - Heather Macbeth:
Algorithm and Abstraction in Formal Mathematics. 12-25
Number Theory and Related Areas
- John Abbott, Claus Fieker:
Computing the Determinant of a Dense Matrix over ℤ. 29-35 - Andreas Enge:
FastECPP over MPI. 36-45 - Aaruni Kaushik:
Attacking a Levelled Fully Homomorphic Encryption System with Topological Data Analysis. 46-53
Novel Formalisations of Mathematics in Lean
- Ivan Farabella:
Formalising Families of ℓ-adic Galois Representations in Lean 4. 57-62 - Jou Glasheen:
Formalization of the Existence of Frobenius Elements. 63-71 - Dawid Lipinski:
Formalising Analysis in Lean: Compactness and Dimensionality. 72-77 - Jujian Zhang, Yunzhou Xie, Yichen Feng, Yanqiao Zhou:
Formalisation of the Category of Hopf Algebras in Lean4. 78-86
Software for the Applications of Group Theory to Combinatorics
- Abdullah Alazemi, Anton Betten:
Computing the Group of an Algebraic Variety over a Finite Field. 89-96 - Sascha Kurz:
Computer Classification of Linear Codes Based on Lattice Point Enumeration. 97-105 - Leonard H. Soicher:
Software for Proper Vertex-Colouring Exploiting Graph Symmetry. 106-112
Classical Algebraic Geometry and Modern Computer Algebra: Innovative Software Design and Its Applications
- Giosuè Muratore:
Localization in Gromov - Witten Theory of Toric Varieties in a Computer Algebra System. 115-124
Advancing Computer Algebra with Massively Parallel Methods
- Santosh Gnawali:
Massively Parallel Methods for Free Resolutions. 127-134 - Benjamin Mirgain:
Towards Parallel Methods in Birational Geometry. 135-144 - Ali Traoré:
Towards Parallel Algorithms for Gromov-Witten Invariants of Elliptic Curves. 145-152
Computer Algebra Applications in the Life Sciences
- Marcus S. Aichmayr, Stefan Müller, Georg Regensburger:
A SageMath Package for Elementary and Sign Vectors with Applications to Chemical Reaction Networks. 155-164
Machine Learning Within Computer Algebra Systems
- Rashid Barket, Matthew England, Jürgen Gerhard:
Symbolic Integration Algorithm Selection with Machine Learning: LSTMs Vs Tree LSTMs. 167-175 - Rohit John, James H. Davenport:
Exploring Alternative Machine Learning Models for Variable Ordering in Cylindrical Algebraic Decomposition. 176-185 - Dorian Florescu, Matthew England:
Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems. 186-195 - Thomas Oliver:
Machine Learning for Number Theory: Unsupervised Learning with L-Functions. 196-203
Numerical Software for Special Functions
- Michael B. Giles, Casper Beentjes:
Approximation of an Inverse of the Incomplete Beta Function. 207-214 - Bonita V. Saunders, Sean Brooks, Ron Buckmire, Rachel E. Vincent-Finley, Franky Backeljauw, Stefan Becuwe, Bruce Miller, Marjorie A. McClain, Annie Cuyt:
DLMF Standard Reference Tables on Demand. 215-221
Mathematical Research Data
- Maxence Azzouz-Thuderoz, Madhurima Deb, Matteo Petrera, Moritz Schubotz, Olaf Teschke:
Integrating Mathematical Data and Resources: Advancements in zbMATH Open for Enhanced Mathematical Research Accessibility and Reproducibility. 225-233 - Antony Della Vecchia, Michael Joswig, Benjamin Lorenz:
A FAIR File Format for Mathematical Software. 234-244 - Aaruni Kaushik:
Predefined Software Environment Runtimes as a Measure for Reproducibility. 245-253 - Marco Reidelbach, Björn Schembera, Marcus Weber:
Towards a FAIR Documentation of Workflows and Models in Applied Mathematics. 254-262
Symbolic-Numeric Methods in Algebraic Geometry
- Taylor Brysiewicz:
Monodromy Coordinates. 265-274 - Kisun Lee:
Effective Alpha Theory Certification Using Interval Arithmetic: Alpha Theory over Regions. 275-284 - Fatemeh Mohammadi:
Gröbner Degenerations of Determinantal Ideals with an Application to Toric Degenerations of Grassmannians. 285-295
Polyhedral Geometry and Combinatorics
- Marianne Akian, Antoine Béreau, Stéphane Gaubert:
Eigenvalue Methods for Sparse Tropical Polynomial Systems. 299-312 - Anders Nedergaard Jensen:
Dynamic Decomposition of Tropical Prevarieties for Celestial Mechanics. 313-321 - Lars Kastner:
Regular Flips in mptopcom. 322-330 - Oliver Daisey, Yue Ren:
A Framework for Generalized Tropical Homotopy Continuation. 331-339
General Session
- Mitsushi Fujimoto:
Integrating GeoGebra with React and WebAssembly: A Web-Based Approach for Mathematical Software Development. 343-353 - Chenqi Mou, Qiuye Song, Yutong Zhou:
DetGB: A Software Package for Computing Gröbner Bases of Determinantal Ideals. 354-364 - Jan Verschelde, Kylash Viswanathan:
Extrapolating Solution Paths of Polynomial Homotopies Towards Singularities with PHCpack and Phcpy. 365-374
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-09 22:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
