저널 정보

Journal of Symbolic Computation (JSC)

저널 웹사이트를 보려면 로그인해 주세요
무료 가입으로 공식 사이트 조회, 마감 추적, 이메일 리마인더를 이용할 수 있습니다.
로그인 회원가입

영향력 지수:
1.1
출판사:
Elsevier
ISSN:
0747-7171
조회:
30196
팔로우:
3

논문 모집

Journal of Symbolic Computation (JSC) is an academic journal published by Elsevier. (ISSN 0747-7171, impact factor 1.1, CCF B).

Aims & Scope 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 ()

Special Issues

Special Issue on SCML: Symbolic Computation and Machine Learning 투고 마감일: 2027-04-01 This special issue is dedicated to all research that strives to combine "Symbolic Computation" (SC) and "Machine Learning" (ML) as two major approaches to "Artificial Intelligence", in particular: the application of ML to SC, the application of SC to ML, and the hybrid combination of SC and ML to solving problems. Therefore we consider submissions that explore the interaction between the two fields - not standalone works on either SC or ML. See the web site of the publishing forum “SCML: Symbolic Computation and Machine Learning” (https://scml.risc.jku.at) for examples of research topics that are in the scope of this special issue and for an editorial that describes the general vision of SCML. A submission to this special issue is typically a substantially extended and revised version of a paper that was previously accepted for the SCML publishing forum and was presented at a virtual SCML workshop (in this case the paper must clearly refer in its introduction to the SCML forum paper on which it is based). The submission is freshly reviewed according to the standards of the Journal of Symbolic Computation. SCML Steering Committee: Bruno Buchberger, François Charton, Matthew England, Cezary Kaliszyk, Manuel Kauers, Hiroshi Kera, Temur Kutsia, Bernhard Moser, Markus Schedl, Wolfgang Schreiner, Martina Seidl, Wolfgang Windsteiger. Guest editors: Prof. Bruno Buchberger Research Institute for Symbolic Computation (RISC) Johannes Kepler University Linz, Linz, Austria Email: [email protected] Prof. Temur Kutsia Research Institute for Symbolic Computation (RISC) Johannes Kepler University Linz, Linz, Austria Email: [email protected] Prof. Wolfgang Schreiner Research Institute for Symbolic Computation (RISC) Johannes Kepler University Linz, Linz, Austria Email: [email protected] Prof. Wolfgang Windsteiger Research Institute for Symbolic Computation (RISC) Johannes Kepler University Linz, Linz, Austria Email: [email protected] Manuscript submission information: Important Dates: Submission Open Date: July 1, 2025 Submission Deadline: April 1, 2027 Notification of Acceptance: July 1, 2027 Contributed full papers must be submitted via the Journal of Symbolic Computation online submission system (Editorial Manager®): Please select the article type “VSI: SCML” when submitting the manuscript online. Every paper enters the reviewing process immediately after its submission; a decision about its acceptance is made within 3 months. Please refer to the Guide for Authors to prepare your manuscript. For any further information, the authors may contact the Guest Editors. Keywords: ((symbolic computation) OR (computer algebra) OR (automated reasoning) OR (program synthesis)) AND ((machine learning) OR (large language models))
최종 수정: Dou Sun ()

관련 저널

CCF정식 명칭영향력 지수출판사ISSN
Applied Mathematics and Computation3.4Elsevier0096-3003
International Journal of Information Management27.0Elsevier0268-4012
Journal of Computational Science3.7Elsevier1877-7503
Journal of Manufacturing Systems14.2Elsevier0278-6125
Journal of Materials Processing Technology7.5Elsevier0924-0136
ComputationMDPI2079-3197
Higher-Order and Symbolic ComputationSpringer1388-3690
BSoftware & Systems Modeling3.2Springer1619-1366
BPattern Recognition7.6Elsevier0031-3203
BIEEE Transactions on Neural Networks and Learning Systems8.9IEEE1045-9227

관련 학회

CCFICOREQUALIS약칭정식 명칭투고 마감통보일개최일
BISSACInternational Symposium on Symbolic and Algebraic Computation2026-01-302026-05-012026-07-13
BA*A1ICRAInternational Conference on Robotics and Automation2025-09-152026-06-01
BA*A1IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
BA1ICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-01-132027-05-16
BA*A1PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-03-012027-06-13
BAA1ICMEInternational Conference on Multimedia and Expo2025-12-312026-03-132026-07-05
BB4BIBMInternational Conference on Bioinformatics & Biomedicine2026-07-052026-09-252026-12-01
BA*A1ICDMInternational Conference on Data Mining2026-06-062026-08-162026-11-12
BA*A1ECCVEuropean Conference on Computer Vision2026-03-062026-05-092026-09-08
BAA1DATEDesign, Automation and Test in Europe2025-09-152025-11-192026-04-20

댓글 0

아직 댓글이 없습니다.

댓글을 작성하려면 로그인해 주세요