期刊信息
Journal of Symbolic Computation (JSC)
https://www.sciencedirect.com/journal/journal-of-symbolic-computation
影响因子:
0.600
出版商:
Elsevier
ISSN:
0747-7171
浏览:
16707
关注:
3
征稿
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
最后更新 Dou Sun 在 2024-07-17
相关会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
baa1MICCAIInternational Conference on Medical Image Computing and Computer Assisted Intervention2024-02-22 2024-10-06
ICCBNInternational Conference on Communications and Broadband Networking2021-09-012021-09-252022-02-25
cb1ICFEMInternational Conference on Formal Engineering Methods2024-06-242024-09-092024-12-02
IHCIInternational Conference on Intelligent Human Computer Interaction2020-07-152020-08-252020-11-24
Feedback ComputingInternational Workshop on Feedback Computing 2013-04-262013-06-25
ICEIInternational Conference on Electronic Engineering and Information Engineering2012-05-052012-05-252012-10-27
AECCCAfrican Electronics, Computer and Communication Conference 2020-08-202020-09-052020-09-26
NATLInternational Conference on Natural Language Computing2023-11-242023-12-112022-11-19
CCOREInternational Conference on Climate Change and Ocean Renewable Energy2024-10-052024-10-202024-11-02
CPHSIFAC Conference on Cyber-Physical & Human Systems2020-06-302020-09-302020-12-03
推荐