![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
ICMS 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.