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年創(chuàng)辦的《符號(hào)計(jì)算雜志》是一本國(guó)際期刊，面向?qū)Ψ?hào)計(jì)算特別感興趣的數(shù)學(xué)家和計(jì)算機(jī)科學(xué)家。該雜志提供了一個(gè)論壇的研究算法處理所有類型的符號(hào)對(duì)象:對(duì)象在正式語(yǔ)言(術(shù)語(yǔ)，公式，程序);代數(shù)對(duì)象(基本數(shù)域中的元素、多項(xiàng)式、余類等);和幾何對(duì)象。該雜志的明確目標(biāo)是通過(guò)為不同子領(lǐng)域的研究人員建立一個(gè)共同的交流渠道，促進(jìn)符號(hào)計(jì)算的集成。同樣重要的是，這些領(lǐng)域的算法成果應(yīng)該提供給用于符號(hào)計(jì)算的集成軟件系統(tǒng)中的人類問(wèn)題解決者。為了幫助這種集成，該雜志出版了邀請(qǐng)的教程調(diào)查以及應(yīng)用程序信和系統(tǒng)描述。研究領(lǐng)域包括:?計(jì)算代數(shù)?計(jì)算幾何(非線性)?自動(dòng)定理證明?自動(dòng)編程?符號(hào)計(jì)算語(yǔ)言和系統(tǒng)的設(shè)計(jì)和實(shí)現(xiàn)?應(yīng)用于教育、科學(xué)、工程和工業(yè)