Lemmas - PDFSEARCH.IO - Document Search Engine

Lemmas
Results: 207

#	Item
101	Feature Selection For High-Dimensional Clustering Martin Azizyan Aarti Singh Larry Wasserman Carnegie Mellon University Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-06-09 20:37:23 Closed and exact differential forms Fourier analysis Diophantine approximation Itō diffusion Auxiliary function Mathematical analysis Mathematics Lemmas
102	How Does a Box Work? : Appendix. Formal proof of correctness of plan1 Ernest Davis∗ Dept. of Computer Science New York University Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2008-09-05 15:58:57
103	T HEORY OF C OMPUTING L IBRARY G RADUATE S URVEYS), pp. 1–15 www.theoryofcomputing.org Selected Results in Additive Combinatorics: An Exposition Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2011-05-16 18:15:30 Linear algebra Matroid theory Measure theory Real analysis Lemmas Mathematical analysis Mathematics Basis
104	COMS11700 Beyond context-free languages Ashley Montanaro Department of Computer Science, University of Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-05-31 09:18:31 Pumping lemma for regular languages Context-free language Compact fluorescent lamp Formal languages Lemmas Pumping lemma for context-free languages
105	The Use of Rippling to Automate Event-B Invariant Preservation Proofs Yuhui Lin Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Rippling Mathematical proof Lemmas Knowledge Mathematics Automated theorem proving Heuristics
106	Amortized Analysis of Smooth Box Subdivisions in All Dimensions Huck Bennett ∗ Chee Yap Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2014-01-27 01:49:18 Splitting lemma Quadtree Lemmas Mathematics
107	SMOOTHING RING MAPS Contents 1. Introduction 2. Colimits 3. Singular ideals Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:40 Ring theory Algebra over a field Von Neumann algebra Ring Lemmas Abstract algebra Mathematics Algebra
108	2.3 Density of 0-1 matrices 27 Our goal is to show that \|X\| 6 k. Note that, for each x ∈ X we can choose Yx ⊆ V2 so that 1 6 \|Yx \| 6 r, Add to Reading List Source URL: lovelace.thi.informatik.uni-frankfurt.de Language: English - Date: 2007-08-30 03:42:28 Szemerédi regularity lemma Dyadic cubes Constructible universe Lemmas Functional analysis
109	MORE ON ALGEBRA Contents[removed]. Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:43 Homological algebra Lemmas Ring theory Commutative algebra Finitely-generated module Injective module D-module Artin–Rees lemma Jacobson radical Abstract algebra Algebra Module theory
110	12.3 The isolation lemma[removed] Add to Reading List Source URL: lovelace.thi.informatik.uni-frankfurt.de Language: English - Date: 2007-08-30 03:42:27 Isolation lemma Operator theory Quantum mechanics Theorems and definitions in linear algebra Group action Mathematics Lemmas Combinatorics