- 首页
- 产品服务
- 知识脉络
- 期刊大全
- 期刊评价报告
- 学者服务
- 充值
- 会员
- 职称材料
搜期刊
刊名
文献信息
- 任意字段
- 主题词
- 篇关摘
- 篇名
- 关键词
- 摘要
- 作者
- 第一作者
- 作者单位
- 刊名
- 中图分类号
- 学科分类号
- DOI
- 基金
投稿预审
Journal of Symbolic Computation
中科院4区 JCR:Q3 JCR:Q2 SCIE PubMed JST
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.
- 主办单位： ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD
- 出版地区： LONDON
- 出版周期： 双月刊
- 别名： J SYMB COMPUT;J. Symb. Comput.;符号计算杂志;JOURNAL OF SYMBOLIC COMPUTATION
- 国际标准连续出版物号/电子版： ISSN 0747-7171 / EISSN 1095-855X
- 创刊时间： 1985年
期刊信息
- 主办单位：ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD
- 主 编：Josef Schicho
- 地 址： LONDON
期刊简介
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.