ICMS 2024: Durham, UK

Refine list

showing all ?? records

Plenary Lectures

Number Theory and Related Areas

Novel Formalisations of Mathematics in Lean

Software for the Applications of Group Theory to Combinatorics

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

Advancing Computer Algebra with Massively Parallel Methods

Computer Algebra Applications in the Life Sciences

Machine Learning Within Computer Algebra Systems

Numerical Software for Special Functions

Mathematical Research Data

Symbolic-Numeric Methods in Algebraic Geometry

Polyhedral Geometry and Combinatorics

General Session