304
0
0
2025-08-17
Special Issue on Selected papers from the International Symposium on Symbolic and Algebraic Computation ISSAC 2025 Submission Date: 2026-01-15 Following the 50th International Symposium on Symbolic and Algebraic Computation (ISSAC 2025), held in Guanajuato, Mexico, from July 28th to August 1st, 2025, we are pleased to announce a special issue of the Journal of Symbolic Computation dedicated to this event. We invite submissions of high-quality original research papers based on the accepted ISSAC 2025 papers. Submissions should include substantial additions to the proceedings papers, such as significant generalizations or comprehensive implementation reports.
Guest editors:
Prof.Carlos D'Andrea
Department of Mathematics and Informatics
University of Barcelona, Barcelona, Spain
Email: cdandrea@ub.edu
Prof. Sonia Pérez-Diaz
Department of Physics and Mathematics
University of Alcala, Alcala de Henares, Spain
Email: sonia.perez@uah.es
Special issue information:
All areas of computer algebra and symbolic computation are of interest at ISSAC 2025. These include, but are not limited to:
Algorithmic aspects:
Exact and symbolic linear, polynomial and differential algebra
Symbolic-numeric, homotopy, perturbation and series methods
Computational algebraic geometry, polynomial and semialgebraic optimization
Computational 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 such as digital libraries, courseware, simulation and optimization, automated theorem-proving, 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.
Manuscript submission information:
Important Dates:
Submission Open Date: September 1, 2025
Submission Deadline: January 15, 2026
Notification of Acceptance: May 15, 2026
Contributed full papers must be submitted via the Journal of Symbolic Computation online submission system (Editorial Manager?): Please select the article type “VSI: ISSAC 2025” when submitting the manuscript online.
Please refer to the Guide for Authors to prepare your manuscript.
For any further information, the authors may contact the Guest Editors.
Keywords:
(Symbolic Computation) AND (Computer Algebra) AND (Algebraic Computation)
