安心交易
不成功退款，无后顾之忧，风险服务升级。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年创办的《符号计算杂志》是一本国际期刊，面向对符号计算特别感兴趣的数学家和计算机科学家。该杂志提供了一个论坛的研究算法处理所有类型的符号对象:对象在正式语言(术语，公式，程序);代数对象(基本数域中的元素、多项式、余类等);和几何对象。该杂志的明确目标是通过为不同子领域的研究人员建立一个共同的交流渠道，促进符号计算的集成。同样重要的是，这些领域的算法成果应该提供给用于符号计算的集成软件系统中的人类问题解决者。为了帮助这种集成，该杂志出版了邀请的教程调查以及应用程序信和系统描述。研究领域包括:?计算代数?计算几何(非线性)?自动定理证明?自动编程?符号计算语言和系统的设计和实现?应用于教育、科学、工程和工业
安心交易
不成功退款，无后顾之忧，风险服务升级。
合规备案认证机构
资质许可齐全，合规经营，用户权益有保障。
正刊保障
刊物在国家新闻出版署网可查，抵制假刊、增刊。
对公账户资金监管
交易均通过对公账户，资金安全有保障。01 选择服务并上传稿件 我们的学术顾问将根据您的需求推荐适合的服务
02 分配资深编辑和同行专家 根据您的服务方案和研究方向，为您分配资深编辑和同行专家
03 交付及反馈 每个环节的服务会在您审阅和确认后进行下一步，根据您的反馈和建议做调整
04 提升稿件质量 我们将基于您的反馈并平衡期刊的投稿要求，为您进一步优化稿件
05 提交投稿 出版专家将在您确认定稿后，为您整理并检查所有必须文件，协助您完成期刊投稿。
06 投稿跟进 及时查询稿件状态，协助您与期刊编辑沟通，根据审稿意见协助修正文章
07 拒稿支持 若期刊拒稿，您可通过拒稿咨询服务发掘稿件的改进方案，并获取365天无限次向同期刊或其他期刊的重投服务
