Journal Information
Journal of Symbolic Computation
Impact Factor:

Call For Papers
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
Last updated by Dou Sun in 2017-02-06
Special Issues
Special Issue on Dynamic Geometry and Automated Reasoning
Submission Date: 2017-09-01

GUEST EDITORS Francisco Botana, University of Vigo, Spain Zoltán Kovács, The Private University College of Education of the Diocese of Linz, Austria Tomás Recio, University of Cantabria, Spain IMPORTANT DATES submission deadline: September 1, 2017 notification of acceptance / rejection: February 2, 2018 final versions: March 30, 2018 SCOPE Since the last half century, automated deduction in elementary geometry has become one of the most successful achievements in the field of automated reasoning. Along these decades various methods and techniques have been studied and developed for automated proving and discovering of elementary geometry statements. On the other hand, dynamic geometry software systems have emerged, such as Cabri Geometry, C.a.R., Cinderella, DrGeo, GeoGebra, The Geometer's Sketchpad, Geometry Expert, Geometry Expressions or Kig with an ever-increasing presence in mathematics education. Some of them possess a large number of users (over thirty million) all around the world. The merging of these two tools (automatic proving and dynamic geometry) is, thus, a very natural, challenging and promising issue, currently involving logic, symbolic computation, software development, algebraic geometry and mathematics education experts all from over the world. The Special Issue intends to be an opportunity for presenting the current state of the art concerning the development of automatic proving features on dynamic geometry systems, discussing the current and potential applications of such features in different contexts, such as CAGD or mathematics education. TOPICS (not restricted to) Algorithmic aspects: formal, logic and algebraic geometry approaches, constraint solving, invariant and coordinate-free methods, real and complex geometry issues, probabilistic, synthetic approaches, techniques from discrete mathematics, combinatorics, and numerics. Software aspects: Implementation of automated proving methods in dynamic geometry programs, design of packages and systems, data representation. Parallel and distributed computing, considerations for modern hardware and new devices. User-interface issues, use with systems for digital libraries, courseware, ... Application aspects: applications to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics and education. Papers must not duplicate work already published or submitted for publication elsewhere. All the papers will be refereed according to the JSC standards. Papers should follow the guidelines for JSC submissions and should be submitted through Easychair. The introduction of the paper must explicitly address the following questions in succinct and informal manner: What is the problem? Why is the problem important? What has been done so far on the problem? What is the main contribution of the paper on the problem? Why is the contribution original? (see below for clarification) Why is the contribution non-trivial? Make the paper complete (since there is no page limit): All the related works and issues must be completely and carefully discussed. All the previous relevant JSC papers must be properly cited and discussed. All the theorems must be rigorously proved (no sketch allowed). All the important definitions/theorems/algorithms must be illustrated by well-chosen examples. * 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. Automated theorem proving is one of the research areas of interest highlighted in the Journal’s description. The Journal of Symbolic Computation has a 1.030 Impact Factor, according to the last Thompson Reuters Journal Citation Reports (2016).
Last updated by Dou Sun in 2017-03-30
Related Publications
Related Journals
CCFFull NameImpact FactorPublisherISSN
cJournal of Logic and Computation0.586Oxford University Press0955-792X
cHigher-Order and Symbolic Computation Springer1388-3690
ACM Transactions on Accessible ComputingACM1936-7228
bNeural Computation1.884MIT Press0899-7667
bIEEE Transactions on Evolutionary Computation3.341IEEE1089-778X
bEvolutionary Computation1.061MIT Press1063-6560
The Journal of Logic and Algebraic Programming0.529ELSEVIER1567-8326
bInformation and Computation0.873ELSEVIER0890-5401
International Journal on Organic Electronics AIRCC2319-4359
bJournal of Symbolic Logic Association for Symbolic Logic0022-4812
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
IPMIInternational Conference on Information Processing in Medical Imaging2012-12-142013-02-152013-06-24
BEPInternational Conference on Biological Engineering and Pharmacy2016-11-18 2016-12-09
cb1ICFEMInternational Conference on Formal Engineering Methods2017-05-072017-06-292017-11-13
b1ICEC'International Conference on Electronic Commerce2013-03-162013-04-242013-08-13
SBPInternational Conference on Social Computing, Behavioral-Cultural Modeling, & Prediction2012-11-062012-12-202013-04-02
ccb1SCCInternational Conference on Service Computing2017-02-212017-04-212017-06-25
Feedback ComputingInternational Workshop on Feedback Computing 2013-04-262013-06-25
b2VRCAIInternational Conference on Virtual Reality Continuum and Its Applications in Industry2013-07-152013-09-302013-11-17
MMVEInternational Workshop on Massively Multiuser Virtual Environments  2012-08-012012-10-08
ab1COCOONInternational Computing and Combinatorics Conference2015-03-152015-04-152015-08-04