Journal of Symbolic Computation

期刊简介：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.

【译文】一本国际期刊，符号计算杂志由Bruno Buchberger于1985年创立，面向对符号计算有特殊兴趣的数学家和计算机科学家。该期刊提供了一个论坛，用于研究所有类型符号对象的算法处理：形式语言中的对象（项、公式、程序）；代数对象（基本数域中的元素、多项式、余数类等）；以及几何对象。该期刊的明确目标是通过对不同子领域的研究人员建立一条共同的沟通渠道来促进符号计算的整合。同时，这些领域的算法成就也应通过符号计算的综合软件系统提供给人类问题解决者。为了帮助这一整合，该期刊还出版了邀请教程综述、应用简报和系统描述。