中文簡介

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

英文簡介

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