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.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

由布鲁诺·布赫伯格于1985年创办的《符号计算杂志》是一本国际期刊，面向对符号计算特别感兴趣的数学家和计算机科学家。该杂志提供了一个论坛的研究算法处理所有类型的符号对象:对象在正式语言(术语，公式，程序);代数对象(基本数域中的元素、多项式、余类等);和几何对象。该杂志的明确目标是通过为不同子领域的研究人员建立一个共同的交流渠道，促进符号计算的集成。同样重要的是，这些领域的算法成果应该提供给用于符号计算的集成软件系统中的人类问题解决者。为了帮助这种集成，该杂志出版了邀请的教程调查以及应用程序信和系统描述。研究领域包括:?计算代数?计算几何(非线性)?自动定理证明?自动编程?符号计算语言和系统的设计和实现?应用于教育、科学、工程和工业