Back to Top
Go Back
Journal Photo for Journal of Symbolic Computation
Peer reviewed only Open Access

Journal of Symbolic Computation (JSC)

Publisher : Elsevier Ltd.
Computational algebra Computational geometry Automated theorem proving
Claim Your Journal Get PRC Visit Website
e-ISSN 1095-855X
p-ISSN 0747-7171
Issue Frequency Bi-Monthly
Impact Factor 0.7
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 P-ISSN: 0747-7171, E-ISSN: 1095-855X, Established: 2025, Impact Factor: 0.7
  • Provides Crossref DOI

  • Indexed in: Scopus, WoS

  • Not indexed in DOAJ, PubMed, UGC CARE

Indexing

Publications of JSC

Parallelization of triangular decompositions: Techniques and implementation
Panos M. Pardalos April, 2023
We discuss the parallelization of algorithms for solving polynomial systems by way of triangular decomposition. The Triangularize algorithm proceeds through incremental intersections of poly...