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
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 Asian and Low-Resource Language Information ProcessingACM2375-4699
bNeural Computation1.884MIT Press0899-7667
bIEEE Transactions on Evolutionary Computation3.341IEEE1089-778X
bEvolutionary Computation1.061MIT Press1063-6560
Telematics and Informatics2.261ELSEVIER0736-5853
bInformation and Computation0.873ELSEVIER0890-5401
cSoft Computing1.63Springer1432-7643
bJournal of Symbolic Logic Association for Symbolic Logic0022-4812
Full NameImpact FactorPublisher
Journal of Logic and Computation0.586Oxford University Press
Higher-Order and Symbolic Computation Springer
ACM Transactions on Asian and Low-Resource Language Information ProcessingACM
Neural Computation1.884MIT Press
IEEE Transactions on Evolutionary Computation3.341IEEE
Evolutionary Computation1.061MIT Press
Telematics and Informatics2.261ELSEVIER
Information and Computation0.873ELSEVIER
Soft Computing1.63Springer
Journal of Symbolic Logic Association for Symbolic Logic
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-04-302017-06-292017-11-13
SBPInternational Conference on Social Computing, Behavioral-Cultural Modeling, & Prediction2012-11-062012-12-202013-04-02
b1ICEC'International Conference on Electronic Commerce2013-03-162013-04-242013-08-13
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