多项式系统求解的稳定正规形式
摘要：计算零维理想$I$的边界基的方法的描述和分析 一种具体的交换多项式所使用的计算标准，引出了一种算法和一个扩展的实现，扩展了[MT'05]中所提供的算法 这个通用的边界基算法弱化了格罗布基计算中的单项式排序要求 这是目前最通用的用于表示商代数的设置，将格罗布基、Macaulay基和不适合之前类别的新表示嵌入到一个单一的形式主义中 通过这个形式主义，我们展示了边界基的零化子是通过交换关系生成的 我们还展示了我们的正规形式构造对于理想的微小扰动是稳定的，只要解的数量保持不变 这一符号算法的新特性对于实际效率有巨大的影响，这在论文末尾的经典基准多项式系统实验中有所体现。
作者：Bernard Mourrain (INRIA Sophia Antipolis), Philippe Tr''ebuchet (LIP6)
论文ID：0812.0067
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2008-12-02