Journal Information
Journal of Symbolic Computation (JSC)
http://www.journals.elsevier.com/journal-of-symbolic-computation/
Impact Factor:
0.876
Publisher:
Elsevier
ISSN:
0747-7171
Viewed:
7366
Tracked:
1

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 2019-11-24
Related Journals
CCFFull NameImpact FactorPublisherISSN
cJournal of Logic and Computation0.586Oxford University Press0955-792X
cHigher-Order and Symbolic Computation Springer1388-3690
ACM Transactions on Economics and ComputationACM2167-8375
ComputationMDPI2079-3197
bNeural Computation1.884MIT Press0899-7667
bEvolutionary Computation1.061MIT Press1063-6560
bIEEE Transactions on Evolutionary Computation5.805IEEE1089-778X
Telematics and Informatics3.714Elsevier0736-5853
aInformation and Computation0.830Elsevier0890-5401
Memetic Computing2.674Springer1865-9284
Full NameImpact FactorPublisher
Journal of Logic and Computation0.586Oxford University Press
Higher-Order and Symbolic Computation Springer
ACM Transactions on Economics and ComputationACM
ComputationMDPI
Neural Computation1.884MIT Press
Evolutionary Computation1.061MIT Press
IEEE Transactions on Evolutionary Computation5.805IEEE
Telematics and Informatics3.714Elsevier
Information and Computation0.830Elsevier
Memetic Computing2.674Springer
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
aa1MICCAIInternational Conference on Medical Image Computing and Computer Assisted Intervention2018-03-02 2018-09-16
ICCBNInternational Conference on Communications and Broadband Networking2020-02-152020-03-012020-04-15
IHCIInternational Conference on Intelligent Human Computer Interaction2020-07-152020-08-252020-11-24
cb1ICFEMInternational Conference on Formal Engineering Methods2020-05-012020-06-192020-11-02
ICEIInternational Conference on Electronic Engineering and Information Engineering2012-05-052012-05-252012-10-27
Feedback ComputingInternational Workshop on Feedback Computing 2013-04-262013-06-25
cab1SCCInternational Conference on Service Computing2020-06-052020-07-202020-08-12
AECCCAfrican Electronics, Computer and Communication Conference 2020-08-202020-09-052020-09-26
NATLInternational Conference on Natural Language Computing2020-10-032020-11-222020-12-26
CPHSIFAC Conference on Cyber-Physical & Human Systems2020-06-302020-09-302020-12-03
Recommendation