Theorems - PDFSEARCH.IO - Document Search Engine

Theorems
Results: 880

#	Item
121	ILP and Cutting Planes Refutation systems Gap theorems Cutting Planes and the Parameter Cutwidth Barnaby Martin (joint work with Stefan Dantchev) Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-07-21 17:54:44 Combinatorial optimization Integer programming Operations research
122	Free Theorems — Foundations Janis Voigtl¨ander University of Bonn October 18th, 2010 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 General topology Constructible universe Ordinal number Base Order theory Net Conjugate element
123	Free Theorems Involving Type Constructor Classes Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Functional programming Programming idioms Monad Adjoint functors Haskell Type class
124	HIERARCHICALLY HYPERBOLIC SPACES II: COMBINATION THEOREMS AND THE DISTANCE FORMULA JASON BEHRSTOCK, MARK F. HAGEN, AND ALESSANDRO SISTO Abstract. We introduce a number of tools for finding and studying hierarchically hyp Add to Reading List Source URL: www.wescac.net Language: English - Date: 2015-12-18 13:24:01 Geometric group theory Hyperbolic geometry Metric geometry -hyperbolic space Hyperbolic space Hyperbolic group Relatively hyperbolic group 3-manifold Quasi-isometry Differential geometry of surfaces Teichmller space Gromov boundary
125	REDUCED FUSION SYSTEMS OVER p-GROUPS WITH ABELIAN SUBGROUP OF INDEX p: II DAVID A. CRAVEN, BOB OLIVER, AND JASON SEMERARO Abstract. Let p be an odd prime, and let S be a p-group with a unique elementary abelian subgroup Add to Reading List Source URL: www.math.univ-paris13.fr Language: English - Date: 2016-06-26 04:22:54 Group theory Sylow theorems Abelian group P-group Index of a subgroup XTR Subgroup Center Direct product of groups Quotient group Focal subgroup theorem FeitThompson theorem
126	789 Documenta Math. Unramified Skolem Problems and Unramified Arithmetic Bertini Theorems Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2003-12-22 16:28:49 Field theory Ordinal number Constructible universe Splitting field Generalised Whitehead product Indexed grammar
127	Young Women in Topology Bonn, June 25 – 27, 2010 Assigning a classifying space to a saturated fusion system up to F −isomorphism Nora Seeliger Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2010-06-30 08:04:37 Finite groups Homological algebra Group theory Cohomology theories Algebraic number theory Group cohomology P-group Cohomology Focal subgroup theorem Sylow theorems
128	Classification by Polynomial Surfaces Martin Anthony Department of Statistical and Mathematical Sciences London School of Economics and Political Science Houghton Street, London WC2A 2AE Add to Reading List Source URL: www.maths.lse.ac.uk Language: English - Date: 2003-09-22 14:29:55 Linear algebra Linear independence Basis Linear combination Linear separability Linear subspace Inner product space Theorems and definitions in linear algebra KnuthBendix completion algorithm
129	arXiv:1308.6439v1 [math.DG] 29 AugLocal removable singularity theorems for minimal laminations William H. Meeks III∗ Joaqu´ın P´erez Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-08-29 20:20:25 Differential geometry of surfaces Differential geometry Surfaces Curvature Carl Friedrich Gauss 3-manifold Minimal surface Gaussian curvature Mean curvature Gauss map Hyperbolic space Geometry Festival
130	Free Theorems about Monadic Code Janis Voigtl¨ander University of Bonn EWCE’11 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Programming paradigms Functional programming Programming language theory Literate programming Monad Declarative programming Haskell Side effect Echo Referential transparency Imperative programming Rc

UPDATE