| Summary: | The ISSAC meeting is a showcase for original research contributions on all aspects of computer algebra and symbolic mathematical computation, including: Algorithmic aspects: â¢Exact and symbolic linear, polynomial and differential algebra â¢Symbolic-numeric, homotopy, perturbation and series methods â¢Computational algebraic geometry, group theory and number theory, quantifier elimination and logic â¢Computer arithmetic â¢Summation, recurrence equations, integration, solution of ODEs & PDEs â¢Symbolic methods in other areas of pure and applied mathematics â¢Complexity of algebraic algorithms and algebraic complexity Software aspects: â¢Design of symbolic computation packages and systems â¢Language design and type systems for symbolic computation â¢Data representation â¢Considerations for modern hardware â¢Algorithm implementation and performance tuning â¢Mathematical user interfaces â¢Use with systems for, e.g., digital libraries, course-ware, simulation and optimization, automated theoremproving, computer-aided design, and automatic differentiation 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.
|
|---|
