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 MEGA 2024: Effective Methods in Algebraic Geometry
截稿日期: 2024-10-31

Any researcher interested in the topics of the MEGA conference series is invited to submit a paper for a Special Issue of the Journal of Symbolic Computation.

All the papers will be refereed according to the JSC standards.

The special issue is devoted to effective methods in algebraic geometry, including their foundations, analysis, complexity, computational aspects, practical issues and applications.

Topics include:

Algorithmic algebra, computational algebraic geometry, symbolic computation, commutative algebra, real algebraic geometry, algebraic number theory, tensor decompositions, as well as applications of these fields, e.g., to coding theory, statistics, physics, biology, optimization, etc.

Guest editors:

Prof. Frank Sottile (Executive Guest Editor)
Texas A&M University, College Station, United States
Email: sottile@tamu.edu 

Prof. Teresa Krick
Universidad de Buenos Aires, Buenos Aires, Argentina
Email: krick@dm.uba.ar 

Prof. Kaie Kubjas
Aalto University, Espoo, Finland
Email: kaie.kubjas@aalto.fi 

Prof. Claudiu Raicu
University of Notre Dame, Notre Dame, IN, United States
Email: craicu@nd.edu 

Manuscript submission information:

Tentative Dates:

    Submission Open Date: September 1, 2024
    Submission Deadline: October 31, 2024
    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: MEGA 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:

Algorithmic algebra, computational algebraic geometry, symbolic computation, commutative algebra, real algebraic geometry, algebraic number theory, tensor decompositions