Journal Information
Journal of Symbolic Computation
http://www.journals.elsevier.com/journal-of-symbolic-computation/
Impact Factor:
1.030
Publisher:
ELSEVIER
ISSN:
0747-7171
Viewed:
4660
Tracked:
0

Advertisment
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 Xin Yao in 2017-08-21
Advertisment
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 Computing2018-02-212018-04-212018-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 Immersive Mixed and Virtual Environment Systems2018-03-012018-04-092018-06-12
ab1COCOONInternational Computing and Combinatorics Conference2015-03-152015-04-152015-08-04
Recommendation