logo True scholar network
Back to Top
Visit Website

Journal of Symbolic Computation (JSC)

Publisher :

Elsevier Ltd.

Scopus Profile
Peer reviewed only
Scopus Profile
Open Access
  • Computational algebra
  • Computational geometry
  • Automated theorem proving

    • +2

e-ISSN :

1095-855X

Issue Frequency :

Bi-Monthly

Impact Factor :

0.7

p-ISSN :

0747-7171

Est. Year :

2025

Mobile :

442074827400

DOI :

YES

Country :

United Kingdom

Language :

English

APC :

YES

Impact Factor Assignee :

Google Scholar

Email :

Josef.Schicho@risc.jku.at

Journal Descriptions

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.


Journal of Symbolic Computation (JSC) is :

International, Peer-Reviewed, Open Access, Refereed, Computational algebra, Computational geometry, Automated theorem proving, Automatic programming, symbolic computation , Online or Print, Bi-Monthly Journal

UGC Approved, ISSN Approved: P-ISSN - 0747-7171, E-ISSN - 1095-855X, Established in - 2025, Impact Factor - 0.7

Provide Crossref DOI

Indexed in Scopus, WoS

Not indexed in DOAJ, PubMed, UGC CARE

Indexing

Scopus Profile
Scopus
Scopus Profile
WoS
Scopus Profile
Elsevier

+2 More

Publications of JSC

  • dott image April, 2023

Parallelization of triangular decompositions: Techniques and implementation

We discuss the parallelization of algorithms for solving polynomial systems by way of triangular decomposition. The Triangularize algorithm proceeds through incremental intersections of poly...

Establish Your Own Journal Without the Expense!

OJSCloud offers a complete, free setup to get you publishing.

Start Your Free Journal!
free profile