Computability theory and differential geometry

by Robert I. Soare
Venue:Bull. Symbolic Logic
Citations:10 - 0 self

Active Bibliography

1 A Signal Subspace Approach to Multiple Emitter Location and Spectral Estimation – A. M. W. Glass, James J. Madden, To William - 1980
1 LIMITATIONS ON OUR UNDERSTANDING OF THE BEHAVIOR OF SIMPLIFIED PHYSICAL SYSTEMS – Harvey M. Friedman - 2008
LIMITATIONS ON OUR UNDERSTANDING OF THE BEHAVIOR OF SIMPLIFIED PHYSICAL SYSTEMS – Harvey M. Friedman - 2008
54 COMPUTATIONAL TOPOLOGY – Tamal K. Dey, Herbert Edelsbrunner , Sumanta Guha
UNDECIDABLE PROBLEMS: A SAMPLER – Bjorn Poonen
Cobordism and Exotic Spheres A Senior Honors Thesis Submitted to – Joshua B. Plotkin - 1999
ON BROCKETT’S NECESSARY CONDITION FOR STABILIZABILITY AND THE TOPOLOGY OF LIAPUNOV Functions On R^N – Christopher I. Byrnes - 2008
1 Projective planes and their look-alikes – Linus Kramer - 2008
IN GINZBURG-LANDAU BILLIARDS. – E. Akkermans, K. Mallick - 1998
Notation – Peter John Davidson - 2008
Wir müssen wissen, wir werden wissen. (We must know, we will know.) – David Hilbert
10 The comparison geometry of Ricci curvature, in Comparison geometry – Shunhui Zhu - 1997
PERELMAN PROVES POINCARÉ – Jonathan A. Poritz
On the Concept of Genus in Topology and Complex Analysis – Friedrich E. P. Hirzebruch, Matthias Kreck
MINIMAL HANDLE DECOMPOSITION OF SMOOTH SIMPLY CONNECTED 5-MANIFOLDS – A. O. Prishlyak - 1999
A Proof On Classical Poincaré Conjecture – Renyi Ma - 809
ON THE FARRELL-JONES AND RELATED CONJECTURES – Wolfgang Lück - 710
Heegard splittings and Morse-Smale flows – Ralf Gautschi, Joel W. Robbin, Dietmar A. Salamon - 2001
4 Connected components of partition preserving diffeomorphisms, submitted, e-print: arXiv:math/0806.0159 – Sergiy Maksymenko