ICMS

Keyphrases

Publications

2024

Jan Verschelde, Kylash Viswanathan
Extrapolating Solution Paths of Polynomial Homotopies Towards Singularities with PHCpack and Phcpy. ICMS (2024)
Santosh Gnawali
Massively Parallel Methods for Free Resolutions. ICMS (2024)
Marcus S. Aichmayr, Stefan Müller, Georg Regensburger
A SageMath Package for Elementary and Sign Vectors with Applications to Chemical Reaction Networks. ICMS (2024)
Fatemeh Mohammadi
Gröbner Degenerations of Determinantal Ideals with an Application to Toric Degenerations of Grassmannians. ICMS (2024)
Antony Della Vecchia, Michael Joswig, Benjamin Lorenz
A FAIR File Format for Mathematical Software. ICMS (2024)
Dawid Lipinski
Formalising Analysis in Lean: Compactness and Dimensionality. ICMS (2024)
Giosuè Muratore
Localization in Gromov - Witten Theory of Toric Varieties in a Computer Algebra System. ICMS (2024)
Oliver Daisey, Yue Ren
A Framework for Generalized Tropical Homotopy Continuation. ICMS (2024)
Ali Traoré
Towards Parallel Algorithms for Gromov-Witten Invariants of Elliptic Curves. ICMS (2024)
Marco Reidelbach, Björn Schembera, Marcus Weber
Towards a FAIR Documentation of Workflows and Models in Applied Mathematics. ICMS (2024)
Chenqi Mou, Qiuye Song, Yutong Zhou
DetGB: A Software Package for Computing Gröbner Bases of Determinantal Ideals. ICMS (2024)
Aaruni Kaushik
Predefined Software Environment Runtimes as a Measure for Reproducibility. ICMS (2024)
Marianne Akian, Antoine Béreau, Stéphane Gaubert
Eigenvalue Methods for Sparse Tropical Polynomial Systems. ICMS (2024)
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. ICMS (2024)
Benjamin Mirgain
Towards Parallel Methods in Birational Geometry. ICMS (2024)
Lars Kastner
Regular Flips in mptopcom. ICMS (2024)
Mitsushi Fujimoto
Integrating GeoGebra with React and WebAssembly: A Web-Based Approach for Mathematical Software Development. ICMS (2024)
Andreas Enge
FastECPP over MPI. ICMS (2024)
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. ICMS (2024)
Dorian Florescu, Matthew England
Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems. ICMS (2024)
Ivan Farabella
Formalising Families of ℓ-adic Galois Representations in Lean 4. ICMS (2024)
John Abbott, Claus Fieker
Computing the Determinant of a Dense Matrix over ℤ. ICMS (2024)
Jujian Zhang, Yunzhou Xie, Yichen Feng, Yanqiao Zhou
Formalisation of the Category of Hopf Algebras in Lean4. ICMS (2024)
Heather Macbeth
Algorithm and Abstraction in Formal Mathematics. ICMS (2024)
Michael B. Giles, Casper Beentjes
Approximation of an Inverse of the Incomplete Beta Function. ICMS (2024)
Jou Glasheen
Formalization of the Existence of Frobenius Elements. ICMS (2024)
Rashid Barket, Matthew England, Jürgen Gerhard
Symbolic Integration Algorithm Selection with Machine Learning: LSTMs Vs Tree LSTMs. ICMS (2024)
Abdullah Alazemi, Anton Betten
Computing the Group of an Algebraic Variety over a Finite Field. ICMS (2024)
Matthias Köppe
The Reformation of Sage. ICMS (2024)
Leonard H. Soicher
Software for Proper Vertex-Colouring Exploiting Graph Symmetry. ICMS (2024)
Kisun Lee
Effective Alpha Theory Certification Using Interval Arithmetic: Alpha Theory over Regions. ICMS (2024)
Aaruni Kaushik
Attacking a Levelled Fully Homomorphic Encryption System with Topological Data Analysis. ICMS (2024)
Sascha Kurz
Computer Classification of Linear Codes Based on Lattice Point Enumeration. ICMS (2024)
Taylor Brysiewicz
Monodromy Coordinates. ICMS (2024)
Rohit John, James H. Davenport
Exploring Alternative Machine Learning Models for Variable Ordering in Cylindrical Algebraic Decomposition. ICMS (2024)
Anders Nedergaard Jensen
Dynamic Decomposition of Tropical Prevarieties for Celestial Mechanics. ICMS (2024)
Thomas Oliver
Machine Learning for Number Theory: Unsupervised Learning with L-Functions. ICMS (2024)

volume 14749, 2024

Mathematical Software - ICMS 2024 - 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings ICMS 14749 (2024)

2020

volume 12097, 2020

Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings ICMS 12097 (2020)