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