List of Sessions
(specialized sessions sorted by organizers)
  - Number theory and related areas (details)
 
  - Novel Formalisations of Mathematics in Lean (details)
 
  - Software for the applications of group theory to combinatorics (details)
 
  - Classical Algebraic Geometry & Modern Computer Algebra: Innovative Software Design and Its Applications (details)
 
  - Advancing computer algebra with massively parallel methods (details)
 
  - Computer algebra applications in the life sciences (details)
 
  - Machine learning within computer algebra systems (details)
 
  - Numerical software for special functions (details)
 
  - Algorithms for relative equilibria in the N-body problem (details)
 
  - Mathematical research data (details)
 
  - Symbolic-numeric methods in algebraic geometry (details)
 
  - Polyhedral geometry and combinatorics (details)
 
  - General Session (details)
 
     
    © 2025. All rights reserved.