International Symposium on Symbolic and Algebraic Computation (ISSAC 2025)

Topics

• Software aspects
  • Language design and type systems for symbolic computation
  • Data representation
  • Design of symbolic computation packages and systems
  • Considerations for modern hardware
  • Mathematical user interfaces
  • Algorithm implementation and performance tuning
• Algorithmic aspects
  • Computational algebraic geometry, group theory and number theory
  • Complexity of algebraic algorithms and algebraic complexity
  • Symbolic methods in other areas of pure and applied mathematics
  • Summation, recurrence equations, integration, solution of ODEs & PDEs
  • Symbolic-numeric, homotopy, perturbation and series methods
  • Computer arithmetic
  • Exact and symbolic linear, polynomial and differential algebra
• Application aspects
  • Applications that stretch the current limits of computer algebra algorithms or systems, use computer algebra in new areas or new ways, or apply it in situations with broad impact