Theorems - PDFSEARCH.IO - Document Search Engine

Theorems
Results: 880

#	Item
101	MATHEMATICS 152, FALL 2008 THE MATHEMATICS OF SYMMETRY Tips on Proofs and Presentations Last revised: August 11, 2008 In this class you will be asked to present definition, theorems, proofs and examples at the blackboard Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-10-18 16:52:48 Mathematics Logic Abstraction Statements Mathematical proofs Logical consequence Theorem Mathematical logic Model theory Conjecture Real number Sheaf
102	Short proofs of coloring theorems on planar graphs Oleg V. Borodin∗ Alexandr V. Kostochka† Bernard Lidick´ y‡ Add to Reading List Source URL: orion.math.iastate.edu Language: English - Date: 2014-08-22 14:44:53 Graph coloring Planar graphs Triangle-free graph Interval edge coloring
103	Embarrassingly Simple Generation of Free Theorems Stefan Mehner and Janis Voigtl¨ander March 26th, 2014 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Type theory Parametricity Polymorphism Ordinal number Constructible universe Functional programming Proof theory CurryHoward correspondence Net
104	Technische Universität Dresden Fakultät Informatik DIPLOMARBEIT Free Theorems for Sublanguages of Haskell Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2008-04-14 08:10:31 Type theory Parametricity Type class Haskell Polymorphism Map Lambda calculus Combinatory logic Kind Parametric polymorphism ML Haskell features
105	PDF Document Add to Reading List Source URL: www.math.csi.cuny.edu Language: English - Date: 2009-05-03 17:58:14 Probability distributions Operator theory Differential forms Lemmas Exponentials Relationships among probability distributions Theorems and definitions in linear algebra
106	Curvature identities and Gauss-Bonnet type theorems Navarro, A. & Navarro J. ICMat, CSIC, Spain; Departamento de Matema´ticas, UEx, Spain ; 1. Abstract Add to Reading List Source URL: gigda.ugr.es Language: English - Date: 2014-09-17 04:24:20 Riemannian geometry Curvature Bernhard Riemann Differential geometry Tensors Riemann curvature tensor Ricci curvature Scalar curvature Riemannian manifold Differentiable manifold Covariant derivative Curvature of Riemannian manifolds
107	789 Documenta Math. Unramified Skolem Problems and Unramified Arithmetic Bertini Theorems Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-12-22 16:28:49 Field theory Ordinal number Constructible universe Splitting field Generalised Whitehead product Indexed grammar
108	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
109	Chapter One: The Concepts of Game Theory* 1.1 Introduction Game Theory is the science of strategy. It is a mathematical construct with a clear set of concepts and assumptions and their resulting theorems. And, just like Add to Reading List Source URL: userwww.sfsu.edu Language: English - Date: 2015-09-26 21:16:14 Game theory Extensive-form game Nash equilibrium Best response Zero-sum game Subgame perfect equilibrium Centipede game Solution concept Markov perfect equilibrium Subgame Trembling hand perfect equilibrium Information set
110	c 2014 Society for Industrial and Applied Mathematics SIAM J. COMPUT. Vol. 43, No. 1, pp. 144–149 Add to Reading List Source URL: www.math.tamu.edu Language: English - Date: 2014-02-14 13:03:03 Matrix theory Linear algebra Binary operations Tensors Matrix Rank Determinant Square matrix Trace Theorems and definitions in linear algebra PROPT

UPDATE