Theorems - PDFSEARCH.IO - Document Search Engine

Theorems
Results: 880

#	Item
671	Derived Algebraic Geometry XIV: Representability Theorems March 14, 2012 Contents 1 The 1.1 Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2012-03-14 15:48:22 Scheme theory Sheaf theory Category theory Differential geometry Sheaf Cotangent complex Functor Representable functor Spectrum of a ring Abstract algebra Algebraic geometry Algebra
672	Derived Algebraic Geometry XI: Descent Theorems September 28, 2011 Contents 1 Nisnevich Coverings Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2011-11-08 14:06:20 Commutative algebra Algebraic structures Ring theory Topos theory Nisnevich topology Étale topology Grothendieck topology Spectrum of a ring Equivalence of categories Abstract algebra Algebra Algebraic geometry
673	Biometrika (2013), 100, 2, pp. 371–383 C 2013 Biometrika Trust Printed in Great Britain doi: [removed]biomet/ass075 Add to Reading List Source URL: www.stat.tamu.edu Language: English - Date: 2013-07-23 03:22:55 Sliced inverse regression Variance Sufficient dimension reduction Multivariate normal distribution Expected value Errors-in-variables models Theorems and definitions in linear algebra Statistics Regression analysis Ordinary least squares
674	Derived Algebraic Geometry VIII: Quasi-Coherent Sheaves and Tannaka Duality Theorems November 5, 2011 Contents 1 Generalities on Spectral Deligne-Mumford Stacks Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2011-11-08 14:05:10 Scheme theory Sheaf theory Category theory Scheme Topos Spectrum of a ring Sheaf Étale morphism Algebraic stack Abstract algebra Algebraic geometry Algebra
675	Indian TEX Users Group : http://www.river-valley.com/tug Theorems in LATEX Designer Theo . . . Add to Reading List Source URL: www.tug.org.in Language: English - Date: 2004-04-13 08:13:14 Euclidean plane geometry Triangles Logical syntax Philosophical logic Philosophy of language Theorem Golden ratio LaTeX Geometry Logic Mathematics
676	Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TR[removed]CBCL-268 May 1, 2007 Add to Reading List Source URL: cbcl.mit.edu Language: English - Date: 2007-05-04 11:00:15 Linear algebra Matrix theory Representation theory of Lie groups Recursive least squares filter Time series analysis Eigendecomposition of a matrix Weight Theorems and definitions in linear algebra Essential spectrum Algebra Mathematics Spectral theory
677	TAS — A Generic Window Inference System Christoph L¨ uth1 and Burkhart Wolff2 1 2 Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2008-02-15 04:25:17 Logical syntax Mathematical logic Deduction Theorems Mathematical proof Natural transformation Natural deduction Formal proof Standard ML Logic Mathematics Proof theory
678	Singularity theorems from weakened energy conditions Add to Reading List Source URL: www.math.miami.edu Language: English - Date: 2011-09-01 15:21:49 Calculus Continuous function Proper time Mathematical analysis Dimension Physics
679	Reverse Mathematics Benedict Eastaugh December 13, 2011 In ordinary mathematical practice, mathematicians prove theorems, reasoning from a fixed1 set of axioms to a logically derivable conclusion. The axioms in play are Add to Reading List Source URL: extralogical.net Language: English - Date: 2014-05-22 10:36:49 Proof theory Model theory Z notation Formal systems Reverse mathematics Second-order arithmetic Peano axioms Zermelo–Fraenkel set theory Ordinal analysis Logic Mathematical logic Mathematics
680	PDF Document Add to Reading List Source URL: www.meroiticnewsletter.org Language: English - Date: 2008-12-19 04:27:24 Theorems and definitions in linear algebra Heat equation Calculus Mathematical analysis Mathematics

UPDATE