论述BCSS对代数基本定理的证明
计算与语言
2024-06-19 v1 人工智能
摘要
1998年Springer-Verlag出版的《Complexity and Real Computation》一书第10.4节包含了基本定理的一种尤为优雅的证明：该证明的核心思想自然导致一种用于求解一元多项式根的homotopy continuation算法，并可自然推广为对 Bézout定理(关于n个方程n个未知数根数问题)的证明。我们提供了更详细的BCSS证明版本，旨在为不熟悉代数几何的学生和研究者提供参考。尽管本文没有新结果，但论述方式 arguably 更为基础。本文中任何错误均由当前作者单独负责。
关键词
引用
@article{arxiv.2406.12197,
title = {Debate as Optimization: Adaptive Conformal Prediction and Diverse Retrieval for Event Extraction},
author = {Sijia Wang and Lifu Huang},
journal= {arXiv preprint arXiv:2406.12197},
year = {2024}
}