为零维根理想族提供自动消去求解工具，提升代数计算效率。
Elimination Templates in Macaulay2
- 基于代数独立参数构造消去模板，实现自动求解。
- 支持零维根理想族的特殊化性质分析，确保结果可靠性。
- 适用于计算机视觉等领域的代数问题求解，源头来自实际应用。
我们为 Macaulay2 计算代数系统引入了 exttt{EliminationTemplates} 包，提供构建依赖代数独立参数的零维根理想族自动求解器的工具。本文自包含地描述了此类理想族的消去模板构造方法及其特殊化性质。此外，还介绍了该包的主要功能与数据类型，并通过多个示例展示其用法，包括源自计算机视觉领域的应用实例。
原文摘要 · Abstract (English)
We introduce the package \texttt{EliminationTemplates} for the Macaulay2 computer algebra system, which provides tools for constructing automatic solvers for families of zero-dimensional radical ideals depending on algebraically independent parameters. This article provides a self-contained description of how elimination templates are constructed for such families and their specialization properties. Additionally, we describe the main functionality and datatypes provided by our package, and illustrate its usage on several examples, including applications from computer vision from which elimination templates originated.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。