The Bolzano-Poincaré Type Theorems
2011 ◽
Vol 2011
◽
pp. 1-9
◽
In 1883–1884, Henri Poincaré announced the result about the structure of the set of zeros of function , or alternatively the existence of solutions of the equation . In the case the Poincaré Theorem is well known Bolzano Theorem. In 1940 Miranda rediscovered the Poincaré Theorem. Except for few isolated results it is essentially a non-algorithmic theory. The aim of this article is to introduce an algorithmical proof of the Theorem “On the existence of a chain” and for an algorithmical proof of the Bolzano-Poincaré Theorem and to show the equivalence of Poincaré, Brouwer and “On the existence of a chain” theorems.
1977 ◽
Vol 35
◽
pp. 80-81
Keyword(s):
2002 ◽
Vol 16
(3)
◽
pp. 129-149
◽
2014 ◽
Vol 61
(5)
◽
pp. 331-339
◽
Observations on a Relationship between Steroid Metabolism and the Concentration of Plasma Fibrinogen
1963 ◽
Vol 10
(02)
◽
pp. 400-405
◽
Keyword(s):
Keyword(s):