default search action

combined dblp search
author search
venue search
publication search

ask others

ICMS 2024: Durham, UK

> Home > Conferences and Workshops > ICMS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/icms/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/2024
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

- view
  authority control:
- export record
  dblp key:
  - conf/icms/Koppe24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Koppe24
Matthias Köppe:
The Reformation of Sage. 3-11
- view
  authority control:
- export record
  dblp key:
  - conf/icms/Macbeth24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Macbeth24
Heather Macbeth:
Algorithm and Abstraction in Formal Mathematics. 12-25

Number Theory and Related Areas

- view
  authority control:
- export record
  dblp key:
  - conf/icms/AbbottF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/AbbottF24
John Abbott, Claus Fieker:
Computing the Determinant of a Dense Matrix over ℤ. 29-35
- view
  authority control:
- export record
  dblp key:
  - conf/icms/Enge24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Enge24
Andreas Enge:
FastECPP over MPI. 36-45
- view
  authority control:
- export record
  dblp key:
  - conf/icms/Kaushik24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Kaushik24
Aaruni Kaushik:
Attacking a Levelled Fully Homomorphic Encryption System with Topological Data Analysis. 46-53

Novel Formalisations of Mathematics in Lean

- view
  authority control:
- export record
  dblp key:
  - conf/icms/Farabella24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Farabella24
Ivan Farabella:
Formalising Families of ℓ-adic Galois Representations in Lean 4. 57-62
- view
  authority control:
- export record
  dblp key:
  - conf/icms/Glasheen24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Glasheen24
Jou Glasheen:
Formalization of the Existence of Frobenius Elements. 63-71
- view
  authority control:
- export record
  dblp key:
  - conf/icms/Lipinski24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Lipinski24
Dawid Lipinski:
Formalising Analysis in Lean: Compactness and Dimensionality. 72-77
- view
  authority control:
- export record
  dblp key:
  - conf/icms/ZhangXFZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/ZhangXFZ24
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

- view
  authority control:
- export record
  dblp key:
  - conf/icms/AlazemiB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/AlazemiB24
Abdullah Alazemi, Anton Betten:
Computing the Group of an Algebraic Variety over a Finite Field. 89-96
- view
  authority control:
- export record
  dblp key:
  - conf/icms/Kurz24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Kurz24
Sascha Kurz:
Computer Classification of Linear Codes Based on Lattice Point Enumeration. 97-105
- view
  authority control:
- export record
  dblp key:
  - conf/icms/Soicher24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Soicher24
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

- view
  authority control:
- export record
  dblp key:
  - conf/icms/Muratore24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Muratore24
Giosuè Muratore:
Localization in Gromov - Witten Theory of Toric Varieties in a Computer Algebra System. 115-124

Advancing Computer Algebra with Massively Parallel Methods

- view
  authority control:
- export record
  dblp key:
  - conf/icms/Gnawali24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Gnawali24
Santosh Gnawali:
Massively Parallel Methods for Free Resolutions. 127-134
- view
  authority control:
- export record
  dblp key:
  - conf/icms/Mirgain24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Mirgain24
Benjamin Mirgain:
Towards Parallel Methods in Birational Geometry. 135-144
- view
  authority control:
- export record
  dblp key:
  - conf/icms/Traore24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Traore24
Ali Traoré:
Towards Parallel Algorithms for Gromov-Witten Invariants of Elliptic Curves. 145-152

Computer Algebra Applications in the Life Sciences

- view
  authority control:
- export record
  dblp key:
  - conf/icms/AichmayrMR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/AichmayrMR24
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

- view
  authority control:
- export record
  dblp key:
  - conf/icms/BarketEG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/BarketEG24
Rashid Barket, Matthew England, Jürgen Gerhard:
Symbolic Integration Algorithm Selection with Machine Learning: LSTMs Vs Tree LSTMs. 167-175
- view
  authority control:
- export record
  dblp key:
  - conf/icms/JohnD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/JohnD24
Rohit John, James H. Davenport:
Exploring Alternative Machine Learning Models for Variable Ordering in Cylindrical Algebraic Decomposition. 176-185
- view
  authority control:
- export record
  dblp key:
  - conf/icms/FlorescuE24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/FlorescuE24
Dorian Florescu, Matthew England:
Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems. 186-195
- view
  authority control:
- export record
  dblp key:
  - conf/icms/Oliver24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Oliver24
Thomas Oliver:
Machine Learning for Number Theory: Unsupervised Learning with L-Functions. 196-203

Numerical Software for Special Functions

- view
  authority control:
- export record
  dblp key:
  - conf/icms/GilesB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/GilesB24
Michael B. Giles, Casper Beentjes:
Approximation of an Inverse of the Incomplete Beta Function. 207-214
- view
  authority control:
- export record
  dblp key:
  - conf/icms/SaundersBBVBBMMC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/SaundersBBVBBMMC24
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

- view
  authority control:
- export record
  dblp key:
  - conf/icms/AzzouzThuderozDPST24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/AzzouzThuderozDPST24
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
- view
  authority control:
- export record
  dblp key:
  - conf/icms/VecchiaJL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/VecchiaJL24
Antony Della Vecchia, Michael Joswig, Benjamin Lorenz:
A FAIR File Format for Mathematical Software. 234-244
- view
  authority control:
- export record
  dblp key:
  - conf/icms/Kaushik24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Kaushik24a
Aaruni Kaushik:
Predefined Software Environment Runtimes as a Measure for Reproducibility. 245-253
- view
  authority control:
- export record
  dblp key:
  - conf/icms/ReidelbachSW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/ReidelbachSW24
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

- view
  authority control:
- export record
  dblp key:
  - conf/icms/Brysiewicz24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Brysiewicz24
Taylor Brysiewicz:
Monodromy Coordinates. 265-274
- view
  authority control:
- export record
  dblp key:
  - conf/icms/Lee24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Lee24
Kisun Lee:
Effective Alpha Theory Certification Using Interval Arithmetic: Alpha Theory over Regions. 275-284
- view
  authority control:
- export record
  dblp key:
  - conf/icms/Mohammadi24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Mohammadi24
Fatemeh Mohammadi:
Gröbner Degenerations of Determinantal Ideals with an Application to Toric Degenerations of Grassmannians. 285-295

Polyhedral Geometry and Combinatorics

- view
  authority control:
- export record
  dblp key:
  - conf/icms/AkianBG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/AkianBG24
Marianne Akian, Antoine Béreau, Stéphane Gaubert:
Eigenvalue Methods for Sparse Tropical Polynomial Systems. 299-312
- view
  authority control:
- export record
  dblp key:
  - conf/icms/Jensen24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Jensen24
Anders Nedergaard Jensen:
Dynamic Decomposition of Tropical Prevarieties for Celestial Mechanics. 313-321
- view
  authority control:
- export record
  dblp key:
  - conf/icms/Kastner24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Kastner24
Lars Kastner:
Regular Flips in mptopcom. 322-330
- view
  authority control:
- export record
  dblp key:
  - conf/icms/DaiseyR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/DaiseyR24
Oliver Daisey, Yue Ren:
A Framework for Generalized Tropical Homotopy Continuation. 331-339

General Session

- view
  authority control:
- export record
  dblp key:
  - conf/icms/Fujimoto24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Fujimoto24
Mitsushi Fujimoto:
Integrating GeoGebra with React and WebAssembly: A Web-Based Approach for Mathematical Software Development. 343-353
- view
  authority control:
- export record
  dblp key:
  - conf/icms/MouSZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/MouSZ24
Chenqi Mou, Qiuye Song, Yutong Zhou:
DetGB: A Software Package for Computing Gröbner Bases of Determinantal Ideals. 354-364
- view
  authority control:
- export record
  dblp key:
  - conf/icms/VerscheldeV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/VerscheldeV24
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.