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
International Symposium on Symbolic and Algebraic Computation (ISSAC 2025) - 28 Jul - 01 Aug, 2025, Guanajuato, Mexico (49965)
International Symposium on Symbolic and Algebraic Computation (ISSAC 2026) - Jul 2026, (41871)
Past Events
International Symposium on Symbolic and Algebraic Computation (ISSAC 2024) - 16-19 Jul 2024, NC State University - SAS Hall, Raleigh, North Carolina, United States (41872)
Important
Please, check "International Symposium on Symbolic and Algebraic Computation (ISSAC)" official website for possible changes, before making any traveling arrangements