×

半代数系统的三角分解。 (英语) Zbl 1260.14070号

作为输出的多项式方程组的三角分解规则链条。本文介绍了正则半代数系统,它应该被视为这些正则链的真实对应物(即over({mathbb R}))。然后定义了半代数系统分解的两个概念:一个称为懒惰的其中,对严格较小维度的组件的分析被推迟,另一个被称为满的包括所有案例。
作者提供了计算这些分解的运行时间估计,并在文章的最后描述了它们的实现和实验结果。

MSC公司:

第14页 半代数集与相关空间
68瓦30 符号计算和代数计算

软件:

枫树;正则链
PDF格式BibTeX公司 XML格式引用
全文: 内政部