[removed]

First Page		Document Content
Date: 2007-04-10 01:42:47 Jordan curve theorem Brouwer fixed-point theorem Theorems and definitions in linear algebra Vitali covering lemma Mathematical analysis Mathematics Operator theory		[removed] Add to Reading List Source URL: www.maths.ed.ac.uk Download Document from Source Website File Size: 112,64 KB Share Document on Facebook

	Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org DISCRETE JORDAN CURVE THEOREM: A PROOF FORMALIZED IN COQ WITH HYPERMAPS JEAN-FRANC DocID: 1tQLw - View Document
	Selecting Heavily Covered Points by Pseudo-circles, Spheres and Rectangles Shakhar Smorodinsky DocID: 1qCsG - View Document
	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. DocID: 1phCj - View Document
	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 DocID: 1p9Y9 - View Document
	The Complexity of Proving the Discrete Jordan Curve Theorem Phuong Nguyen Mcgill University DocID: 1lDev - View Document