Skip to main content
CenXiv.org
此网站处于试运行阶段,支持我们!
我们衷心感谢所有贡献者的支持。
贡献
赞助
cenxiv logo > math > arXiv:1607.00264

帮助 | 高级搜索

数学 > 代数几何

arXiv:1607.00264 (math)
[提交于 2016年7月1日 (v1) ,最后修订 2017年7月26日 (此版本, v2)]

标题: Lazard方法的CAD构造有效性证明

标题: Validity proof of Lazard's method for CAD construction

Authors:Scott McCallum, Adam Parusinski, Laurentiu Paunescu
摘要: 1994年,Lazard提出了一种改进的圆柱代数分解(CAD)方法。 该方法包括一个简化的投影运算以及一种广义的单元提升(即,堆栈构造)技术。 为了证明该方法的有效性,Lazard引入了多元多项式在一点处的新估值概念。 然而,随后发现他的证明中的一个关键支持结果存在漏洞。 在本文中,我们提供了Lazard方法的完整有效性证明。 我们的证明基于普森定理的经典参数化版本以及Lazard估值的基本性质。 这一结果具有重要意义,因为 Lazard的方法可以应用于任何有限多项式族,而无需对坐标系做出任何假设。 因此,它具有更广泛的应用范围,并且可能比其他CAD的投影和提升方案更高效。
摘要: In 1994 Lazard proposed an improved method for cylindrical algebraic decomposition (CAD). The method comprised a simplified projection operation together with a generalized cell lifting (that is, stack construction) technique. For the proof of the method's validity Lazard introduced a new notion of valuation of a multivariate polynomial at a point. However a gap in one of the key supporting results for his proof was subsequently noticed. In the present paper we provide a complete validity proof of Lazard's method. Our proof is based on the classical parametrized version of Puiseux's theorem and basic properties of Lazard's valuation. This result is significant because Lazard's method can be applied to any finite family of polynomials, without any assumption on the system of coordinates. It therefore has wider applicability and may be more efficient than other projection and lifting schemes for CAD.
评论: 21页
主题: 代数几何 (math.AG)
MSC 类: 14P10, 68W30
ACM 类: I.1.2
引用方式: arXiv:1607.00264 [math.AG]
  (或者 arXiv:1607.00264v2 [math.AG] 对于此版本)
  https://doi.org/10.48550/arXiv.1607.00264
通过 DataCite 发表的 arXiv DOI

提交历史

来自: Adam Parusinski [查看电子邮件]
[v1] 星期五, 2016 年 7 月 1 日 14:37:46 UTC (24 KB)
[v2] 星期三, 2017 年 7 月 26 日 09:17:47 UTC (29 KB)
全文链接:

获取论文:

    查看标题为《》的 PDF
  • 查看中文 PDF
  • 查看 PDF
  • TeX 源代码
  • 其他格式
查看许可
当前浏览上下文:
math.AG
< 上一篇   |   下一篇 >
新的 | 最近的 | 2016-07
切换浏览方式为:
math

参考文献与引用

  • NASA ADS
  • 谷歌学术搜索
  • 语义学者
a 导出 BibTeX 引用 加载中...

BibTeX 格式的引用

×
数据由提供:

收藏

BibSonomy logo Reddit logo

文献和引用工具

文献资源探索 (什么是资源探索?)
连接的论文 (什么是连接的论文?)
Litmaps (什么是 Litmaps?)
scite 智能引用 (什么是智能引用?)

与本文相关的代码,数据和媒体

alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)

演示

复制 (什么是复制?)
Hugging Face Spaces (什么是 Spaces?)
TXYZ.AI (什么是 TXYZ.AI?)

推荐器和搜索工具

影响之花 (什么是影响之花?)
核心推荐器 (什么是核心?)
IArxiv 推荐器 (什么是 IArxiv?)
  • 作者
  • 地点
  • 机构
  • 主题

arXivLabs:与社区合作伙伴的实验项目

arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。

与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。

有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.

这篇论文的哪些作者是支持者? | 禁用 MathJax (什么是 MathJax?)
  • 关于
  • 帮助
  • contact arXivClick here to contact arXiv 联系
  • 订阅 arXiv 邮件列表点击这里订阅 订阅
  • 版权
  • 隐私政策
  • 网络无障碍帮助
  • arXiv 运营状态
    通过...获取状态通知 email 或者 slack

京ICP备2025123034号