Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
691	The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de Waal Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Rules of inference Resolution Model theory Logic in computer science Logic programming First-order logic Modal logic Prolog E theorem prover Superposition calculus CARINE
692	A proof of the Markov-Kakutani fixed point theorem via the Hahn-Banach theorem Dirk Werner S. Kakutani, in [2] and [3], provides a proof of the Hahn-Banach theorem Add to Reading List Source URL: page.mi.fu-berlin.de Language: English - Date: 2012-11-07 06:37:38 Fixed-point theorems MarkovKakutani fixed-point theorem HahnBanach theorem Kakutani fixed-point theorem Locally convex topological vector space Convex set Schauder fixed point theorem Fixed-point theorems in infinite-dimensional spaces
693	Spectral Graph Theory Lecture 7 Cheeger’s Inequality Daniel A. Spielman Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2012-08-24 09:50:05 Operator theory Complex analysis Partial differential equations Automated theorem proving Logic programming Substitution Differential forms on a Riemann surface
694	496 CHAPTER 9 from w to the center of Ci and Q maps that to the segment from Qw to the center of Df . Thus, this segment is mapped into itself and so, as above, the attracting ﬁxed Add to Reading List Source URL: math.caltech.edu Language: English - Date: 2010-11-12 12:19:10 Riemann surfaces Mbius transformation Schwarz lemma Fuchsian group Poincar metric Riemann sphere Beltrami equation DenjoyWolff theorem
695	Configurable M -factor VLSI DVB-S2 LDPC decoder architecture with optimized memory tiling design Gabriel Falcao∗1,2 , Marco Gomes1,2 , Vitor Silva1,2 , Leonel Sousa3,4 and Joao Cacheira2 1 Instituto Add to Reading List Source URL: www.inesc-id.pt Language: English - Date: 2012-03-09 10:48:10 Error detection and correction Coding theory Low-density parity-check code Digital Video Broadcasting DVB-S2 Forward error correction Turbo code Tanner graph Noisy-channel coding theorem
696	UoB Maths C. Good, N. Kamaleson, C. Mu, D. Parker, M. Puljiz, Add to Reading List Source URL: www.hieratic.eu Language: English Foliations Frobenius theorem
697	Chapter 6 Infinite State Space In this chapter we begin working with stochastic systems on infinite state space. While a completely rigorous treatment of this area requires measure theory (chapter 7 and onward), we can Add to Reading List Source URL: johnstachurski.net Language: English - Date: 2016-06-19 06:01:54 Probability distributions Generalized functions Algebra Distribution Number theory Normal distribution Range Central limit theorem Logarithm Linear temporal logic
698	ON THE GRAPH ATTACHED TO TRUNCATED BIG WITT VECTORS NICHOLAS M. KATZ Warning to the reader After this paper was written, we became aware of S.D.Cohen’s 1998 Add to Reading List Source URL: web.math.princeton.edu Language: English - Date: 2012-03-14 17:59:26 Matrix theory Algebra Determinant Linear algebra Field extension Lefschetz hyperplane theorem Fundamental theorem of algebra Semi-invariant of a quiver
699	Locally robust implementation and its limits Philippe Jehiely, Moritz Meyer-ter-Vehnz, Benny Moldovanux March 12, 2012 Abstract We study a notion of locally robust implementation that captures the idea that the planner Add to Reading List Source URL: www.econ2.uni-bonn.de Language: English - Date: 2014-03-26 06:49:17 Game theory Mechanism design Social choice theory Envelope theorem Monotonicity Integrability conditions for differential systems
700	Contents Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xi Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2016-01-13 17:41:26 Elementary geometry Triangles Euclidean geometry Foundations of geometry Parallel postulate Hyperbolic geometry Congruence Pythagorean theorem Absolute geometry Geometry Giovanni Girolamo Saccheri Similarity

UPDATE