Jordan curve theorem - PDFSEARCH.IO - Document Search Engine

Jordan curve theorem
Results: 18

#	Item
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 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2008-02-05 05:34:49
2	Selecting Heavily Covered Points by Pseudo-circles, Spheres and Rectangles Shakhar Smorodinsky Add to Reading List Source URL: www.math.tau.ac.il Language: English - Date: 2007-08-27 22:45:06 Mathematics Geometry Space Curves Jordan curve theorem Euclidean plane geometry Projective geometry Incidence geometry Minkowski plane Elliptic curve
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. Add to Reading List Source URL: www.mabs.at Language: English - Date: 2016-01-18 04:02:31 Community ecology LotkaVolterra equations Mathematical modeling Predation Limit set Interspecific competition Competitive LotkaVolterra equations
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 Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-11-17 12:13:47 Automated theorem proving Automated reasoning Proof assistant First-order logic Type theory TarskiGrothendieck set theory Mizar and Alcor Geoff Sutcliffe Jordan curve theorem Isabelle Mathematical logic Reasoning system
5	The Complexity of Proving the Discrete Jordan Curve Theorem Phuong Nguyen Mcgill University Add to Reading List Source URL: www.cs.toronto.edu Language: 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 . Add to Reading List Source URL: www.gipsa-lab.grenoble-inp.fr Language: English - Date: 2010-01-05 11:15:43 Graph theory Bridge Minor
7	A Survey on the Square Peg Problem Benjamin Matschke T Add to Reading List Source URL: www.ams.org Language: English - Date: 2014-03-03 13:59:25 Topology Differential topology Inscribed square problem Sphere Differential geometry of curves Curvature Jordan curve theorem Circle Triangle Geometry Curves Differential geometry
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 Add to Reading List Source URL: www.maa.org Language: English - Date: 2013-07-12 12:55:31 Logical syntax Philosophical logic Philosophy of language Theorems Compact space Jordan curve theorem Countable set Space-filling curve Topology Mathematics General topology
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) Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2007-12-16 10:48:42 Mathematics Seifert–van Kampen theorem Groupoid Covering space Fundamental group Pushout Group action Path Jordan curve theorem Abstract algebra Topology Homotopy theory
10	ON PRIME ENDS AND LOCAL CONNECTIVITY arXiv:math/0309022v6 [math.GN] 19 Feb 2014 Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-02-20 05:56:19 Fractals Complex dynamics General topology Locally connected space Regular expression Mandelbrot set Jordan curve theorem Prime number Topology Mathematics Mathematical analysis