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 the conference ISSAC 2024: Symbolic and Algebraic Computation
截稿日期: 2025-01-31

Following the 49th International Symposium on Symbolic and Algebraic Computation (ISSAC 2024), held in Raleigh, NC, USA, from July 16-19, 2024, 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 2024 papers. Submissions should include substantial additions to the proceedings papers, such as significant generalizations or comprehensive implementation reports.

Guest editors:

Dr. Wen-shin Lee (Executive Guest Editor)
University of Stirling, Stirling, UK
Email: wen-shin.lee@stir.ac.uk 

Prof. Jonathan Hauenstein
University of Notre Dame, Notre Dame, IN, USA
Email: hauenstein@nd.edu 

Manuscript submission information:

Tentative Dates:

    Submission Open Date: October 15, 2024
    Submission Deadline: January 31, 2025
    Editorial Acceptance Deadline: April 30, 2025

Contributed full papers must be submitted via the Journal of Symbolic Computation online submission system (https://www.editorialmanager.com/jsco/default.aspx). Please select the article type “VSI: ISSAC 2024” when submitting the manuscript online.

Please refer to the Guide for Authors (https://www.sciencedirect.com/journal/journal-of-symbolic-computation/publish/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)