Mathematica中的参数化类型定义：方法和优势
摘要：在过去的十年里，代数范畴中的符号计算主题变得非常重要，因为它能够自动建模现代代数理论。在这个理论背景下，本文通过推导一个多元多项式范畴（在不同系数域上），展示了参数化范畴方法的实用性。我们的Mathematica实现了Buchberger's算法来确定Groebner基础。这些实现根据域和范畴参数化原则设计，强调它们的优势：操作保护、继承、普适性、易扩展性。特别是，将Mathematica这样一个广泛使用的符号计算系统扩展为具有新类型系统的系统具有一定的实际意义。我们对Mathematica的方法受到D. Gruntz和M. Monagan在Maple中的工作的启发。
作者：Alina Andreica
论文ID：cs/0208031
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2007-05-23