๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

On some classical existence theorems

โœ Scribed by Shen Zuhe


Book ID
107967251
Publisher
Elsevier Science
Year
1983
Tongue
English
Weight
240 KB
Volume
7
Category
Article
ISSN
0362-546X

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


On existence theorems
โœ Svatopluk Poljak ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 849 KB

We discuss the question of constructive proofs, or polynomial-time algorithms, for theorems which were proved earlier nonconstructively. We present a forma1 model for such statements and give a collection of examples. In a greater detail, we deal with the problem of finding another Hamiltonian cycl

Some existence theorems for closed geode
โœ W. Ballmann; G. Thorbergsson; W. Ziller ๐Ÿ“‚ Article ๐Ÿ“… 1983 ๐Ÿ› European Mathematical Society ๐ŸŒ English โš– 872 KB