Aims & Scope

An international journal, the Journal of Symbolic Computation, founded by Bruno Buchberger in 1985, is directed to mathematicians and computer scientists who have a particular interest in symbolic computation. The journal provides a forum for research in the algorithmic treatment of all types of symbolic objects: objects in formal languages (terms, formulas, programs); algebraic objects (elements in basic number domains, polynomials, residue classes, etc.); and geometrical objects.

It is the explicit goal of the journal to promote the integration of symbolic computation by establishing one common avenue of communication for researchers working in the different subareas. It is also important that the algorithmic achievements of these areas should be made available to the human problem-solver in integrated software systems for symbolic computation. To help this integration, the journal publishes invited tutorial surveys as well as Applications Letters and System Descriptions.

Research Areas Include:

• Computational algebra
• Computational geometry (non-linear)
• Automated theorem proving
• Automatic programming
• Design and implementation of symbolic computation languages and systems
• Applications in education, science, engineering and industry

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)

Special Issue on SCML: Symbolic Computation and Machine Learning
Submission Date: 2027-04-01

This special issue is dedicated to all research that strives to combine "Symbolic Computation" (SC) and "Machine Learning" (ML) as two major approaches to "Artificial Intelligence", in particular: the application of ML to SC, the application of SC to ML, and the hybrid combination of SC and ML to solving problems. Therefore we consider submissions that explore the interaction between the two fields - not standalone works on either SC or ML.

See the web site of the publishing forum “SCML: Symbolic Computation and Machine Learning” (https://scml.risc.jku.at) for examples of research topics that are in the scope of this special issue and for an editorial that describes the general vision of SCML.

A submission to this special issue is typically a substantially extended and revised version of a paper that was previously accepted for the SCML publishing forum and was presented at a virtual SCML workshop (in this case the paper must clearly refer in its introduction to the SCML forum paper on which it is based). The submission is freshly reviewed according to the standards of the Journal of Symbolic Computation.

SCML Steering Committee:

Bruno Buchberger, François Charton, Matthew England, Cezary Kaliszyk, Manuel Kauers, Hiroshi Kera, Temur Kutsia, Bernhard Moser, Markus Schedl, Wolfgang Schreiner, Martina Seidl, Wolfgang Windsteiger.

Guest editors:

Prof. Bruno Buchberger
Research Institute for Symbolic Computation (RISC)
Johannes Kepler University Linz, Linz, Austria
Email: buchberger.bruno@gmail.com 

Prof. Temur Kutsia
Research Institute for Symbolic Computation (RISC)
Johannes Kepler University Linz, Linz, Austria
Email: Temur.Kutsia@risc.jku.at 

Prof. Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC)
Johannes Kepler University Linz, Linz, Austria
Email: Wolfgang.Schreiner@risc.jku.at 

Prof. Wolfgang Windsteiger
Research Institute for Symbolic Computation (RISC)
Johannes Kepler University Linz, Linz, Austria
Email: Wolfgang.Windsteiger@risc.jku.at 

Manuscript submission information:

Important Dates:

    Submission Open Date: July 1, 2025
    Submission Deadline: April 1, 2027
    Notification of Acceptance: July 1, 2027

Contributed full papers must be submitted via the Journal of Symbolic Computation online submission system (Editorial Manager®): Please select the article type “VSI: SCML” when submitting the manuscript online.

Every paper enters the reviewing process immediately after its submission; a decision about its acceptance is made within 3 months.

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) OR (computer algebra) OR (automated reasoning) OR (program synthesis)) AND
((machine learning) OR (large language models))