Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
901	Einstein for pedestrians Peter Hertel April 2011 Overview Add to Reading List Source URL: iap.nankai.edu.cn Language: English Motion Kinematics Velocity Wave Pythagorean theorem
902	N. Kobayashi and B. C. Pierce (Eds): Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001), LNCS Vol. 2215, pp. 219–242, 2001. c Springer-Verlag Berlin Heidelberg 2001 Nominal Logic: Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2001-10-22 05:59:46 Model theory Automated theorem proving Logic programming First-order logic Predicate logic Symbol Substitution Constructible universe Interpretation
903	Computer-Aided Reasoning for the Masses Panagiotis Manolios College of Computer and Information Science Northeastern University 360 Huntington Ave., Boston MA 02115, USA Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:29:56 Theoretical computer science Formal methods ACL2 Lisp Statements Automated theorem proving Formal verification J Strother Moore Mathematical proof Conjecture Algorithm Reason
904	On a Gromoll–Meyer type theorem in globally hyperbolic stationary Lorentzian manifolds Joint work with L. Biliotti and F. Mercuri Paolo Piccione Departamento de Matemática Instituto de Matemática e Estatística Add to Reading List Source URL: xtsunxet.usc.es Language: English - Date: 2007-03-09 06:09:59 Differential geometry Dynamical systems Geodesic Closed geodesic Riemannian manifold Morse theory Connection Orbifold Finsler manifold
905	Measurable functions are of bounded variation on a set of dimension 1/2 Andr´as M´ath´e∗ Abstract We show that for every Lebesgue measurable function f : [0, 1] → R there exists a compact set C Add to Reading List Source URL: homepages.warwick.ac.uk Language: English - Date: 2012-01-10 05:32:01 Dimension theory Fractals Hausdorff dimension Metric geometry Borel measure NC Peetre theorem Hlder condition
906	Houston Journal of Mathematics c University of Houston Volume , No. , THICKNESS OF THE UNIT SPHERE, `1 -TYPES, Add to Reading List Source URL: page.mi.fu-berlin.de Language: English - Date: 2010-06-01 06:35:50 Metric geometry Banach space Functional analysis HahnBanach theorem Continuous function Separable space Complete metric space Probability theory BanachAlaoglu theorem Proofs of convergence of random variables
907	CORRECTION TO ‘NEW TOPOLOGICALLY SLICE KNOTS’ STEFAN FRIEDL AND PETER TEICHNER Abstract. In [FT05, Figure 1.5] an incorrect example for [FT05, Theorem 1.3] was given. In this note we present a correct example. We fi Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2012-08-01 06:52:27 Knot theory Knot invariants Alexander polynomial Polynomials Knot Slice knot Crossing number Satellite knot Unknot Torus knot
908	A Comprehensive Course in Analysis Part 4: Operator Theory Barry Simon Draft: November 16, 2014 Add to Reading List Source URL: math.caltech.edu Language: English - Date: 2014-12-08 00:38:31 Operator theory Spectral theorem Hilbert space Self-adjoint operator Unbounded operator Compact operator Normal operator Fredholm operator Trace class GelfandNaimarkSegal construction Affiliated operator C*-algebra
909	(k + 1)-cores have k-factors Siu On Chan∗ Michael Molloy∗ June 11, 2012 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2012-06-11 11:03:55 Binomial coefficient Combinatorics Peetre theorem
910	CLASS QUIZ: NOVEMBER 2: INTEGRATION MATH 152, SECTION 55 (VIPUL NAIK) Your name (print clearly in capital letters): (1) Suppose f and g are both functions on R with the property that f 00 and g 00 are both everywhere the Add to Reading List Source URL: files.vipulnaik.com Language: English - Date: 2016-08-13 11:33:29 Differential calculus Functions and mappings Integral calculus Antiderivative Derivative Continuous function Semi-differentiability Limit of a function Integral Differentiable function Left and right derivative Fundamental theorem of calculus

UPDATE