TY -的A2 -马里诺,朱塞佩盟——Tkacz Przemysław AU - Turzań滑雪,玛丽安PY - 2011 DA - 2011/10/12 TI - Bolzano-Poincare类型定理SP - 793848六世- 2011 AB - 1883 - 1884年,亨利·庞加莱宣布结果的结构组0的功能
f
：
我
n
→
R
n
，或者方程解的存在性
f
（
x
）
＝
0
．在的情况下
n
＝
1
Poincaré定理是著名的Bolzano定理。1940年，米兰达重新发现了Poincaré定理。除了少数孤立的结果外，它本质上是一个非算法理论。本文的目的是介绍“链的存在性”定理的一个算法证明
n
＝
3.
Bolzano-Poincaré定理的一个算法证明，并证明了Poincaré、Brouwer和“关于链的存在性”定理的等价性。《数学与数学科学学报》(英文版