1![Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org DISCRETE JORDAN CURVE THEOREM: A PROOF FORMALIZED IN COQ WITH HYPERMAPS JEAN-FRANC Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org DISCRETE JORDAN CURVE THEOREM: A PROOF FORMALIZED IN COQ WITH HYPERMAPS JEAN-FRANC](https://www.pdfsearch.io/img/df009a92dd04cbb88c37dc8eaf9272ed.jpg) | Add to Reading ListSource URL: drops.dagstuhl.deLanguage: English - Date: 2008-02-05 05:34:49
|
---|
2![Selecting Heavily Covered Points by Pseudo-circles, Spheres and Rectangles Shakhar Smorodinsky Selecting Heavily Covered Points by Pseudo-circles, Spheres and Rectangles Shakhar Smorodinsky](https://www.pdfsearch.io/img/ea7cd3d3906a0e5a5a4c22f8629059fe.jpg) | Add to Reading ListSource URL: www.math.tau.ac.ilLanguage: English - Date: 2007-08-27 22:45:06
|
---|
3![6 Dynamics of more than two populations In dynamical systems of dimension three or higher the Jordan curve theorem does not apply and ω-limit sets of ODEs need not to be equilibrium points or periodic orbits anymore. 6 Dynamics of more than two populations In dynamical systems of dimension three or higher the Jordan curve theorem does not apply and ω-limit sets of ODEs need not to be equilibrium points or periodic orbits anymore.](https://www.pdfsearch.io/img/f188cac1ecbcc5e2b60d8c2915a2fdd6.jpg) | Add to Reading ListSource URL: www.mabs.atLanguage: English - Date: 2016-01-18 04:02:31
|
---|
4![The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held at The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held at](https://www.pdfsearch.io/img/738c25e541497a2492bf9350c2b97f1f.jpg) | Add to Reading ListSource URL: www.cs.miami.eduLanguage: English - Date: 2008-11-17 12:13:47
|
---|
5![The Complexity of Proving the Discrete Jordan Curve Theorem Phuong Nguyen Mcgill University The Complexity of Proving the Discrete Jordan Curve Theorem Phuong Nguyen Mcgill University](https://www.pdfsearch.io/img/5ae594fadd81cc5b27a580be030a4f6e.jpg) | Add to Reading ListSource URL: www.cs.toronto.eduLanguage: English - Date: 2011-01-04 17:44:56
|
---|
6![Bibliographie autour des graphes et surfa
es Théorème de Jordan H. Tverberg. A Proof of the Jordan Curve Theorem. Bull. London Math. So
. Bibliographie autour des graphes et surfa
es Théorème de Jordan H. Tverberg. A Proof of the Jordan Curve Theorem. Bull. London Math. So
.](https://www.pdfsearch.io/img/2ab4e41bf28f4511cd51d6877cacae35.jpg) | Add to Reading ListSource URL: www.gipsa-lab.grenoble-inp.frLanguage: English - Date: 2010-01-05 11:15:43
|
---|
7![A Survey on the Square Peg Problem Benjamin Matschke T A Survey on the Square Peg Problem Benjamin Matschke T](https://www.pdfsearch.io/img/7629f9bd907b8d56fb3663ef250109e2.jpg) | Add to Reading ListSource URL: www.ams.orgLanguage: English - Date: 2014-03-03 13:59:25
|
---|
8![Who Was Miss Mullikin? Thomas L. Bartlow and David E. Zitarelli 1. INTRODUCTION. In 1946 R. L. Moore, responding to a prospective student’s request for information about graduate study, closed his letter with a persona Who Was Miss Mullikin? Thomas L. Bartlow and David E. Zitarelli 1. INTRODUCTION. In 1946 R. L. Moore, responding to a prospective student’s request for information about graduate study, closed his letter with a persona](https://www.pdfsearch.io/img/035b0047bf08af142c4485d1df6a7f11.jpg) | Add to Reading ListSource URL: www.maa.orgLanguage: English - Date: 2013-07-12 12:55:31
|
---|
9![Journal of Homotopy and Related Structures, vol. 1(1), 2006, pp.175–183 GROUPOIDS, THE PHRAGMEN-BROUWER PROPERTY, AND THE JORDAN CURVE THEOREM RONALD BROWN (communicated by Frederick Cohen) Journal of Homotopy and Related Structures, vol. 1(1), 2006, pp.175–183 GROUPOIDS, THE PHRAGMEN-BROUWER PROPERTY, AND THE JORDAN CURVE THEOREM RONALD BROWN (communicated by Frederick Cohen)](https://www.pdfsearch.io/img/3e2e8298f87c046b710f96c5a33163d4.jpg) | Add to Reading ListSource URL: pages.bangor.ac.ukLanguage: English - Date: 2007-12-16 10:48:42
|
---|
10![ON PRIME ENDS AND LOCAL CONNECTIVITY arXiv:math/0309022v6 [math.GN] 19 Feb 2014 ON PRIME ENDS AND LOCAL CONNECTIVITY arXiv:math/0309022v6 [math.GN] 19 Feb 2014](https://www.pdfsearch.io/img/2137cadd6f041d63100812997dabfbe4.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2014-02-20 05:56:19
|
---|