Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
441	1 PDE models for population and residual work applied to peer-to-peer networks Fernando Paganini and Andr´es Ferragut Universidad ORT Uruguay Add to Reading List Source URL: fi.ort.edu.uy Language: English Logic Philosophy Abstraction Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Dynamical system Structure Model theory Decomposition of spectrum
442	Barbara MacCluer: Elementary Functional Analysis. Books on Functional Analysis are not exactly ubiquitous, but every publishing house has several text books in this area on its backlist. Barbara MacCluer’s book is an e Add to Reading List Source URL: page.mi.fu-berlin.de Language: English - Date: 2009-09-18 05:40:34 Algebra Mathematics Mathematical analysis Operator theory Linear algebra Functional analysis Banach space BanachAlaoglu theorem Hilbert space Spectral theorem Compact operator Reflexive space
443	Unstable splittings related to Brown-Peterson cohomology J. Michael Boardman and W. Stephen Wilson Abstract. We give a new and relatively easy proof of the splitting theorem of the second author for the spaces in the Ome Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-03-30 15:19:14 Algebra Abstract algebra Mathematics Group theory Homotopy theory Cohomology theories Homological algebra Spectral sequence Cohomology Hopf algebra Homology Steenrod algebra
444	Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs ∗ J¨urgen Giesl Thomas Str¨oder Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2012-07-18 09:07:52 Logic Mathematical logic Theoretical computer science Automated theorem proving Logic programming Logic in computer science Type theory Logical truth Substitution Unification Admissible rule Symbol
445	ELSEVIER Stochastic Processes and their Applications184 stochastic processes Add to Reading List Source URL: www.math.csi.cuny.edu Language: English - Date: 2009-05-03 17:57:30 Stochastic processes Mathematical analysis Mathematics Central limit theorem Random walk Statistics Loop-erased random walk Big O notation
446	209 Documenta Math. Divisorial Cohomology Vanishing on Toric Varieties Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2011-04-22 12:51:19 Algebra Abstract algebra Geometry Algebraic geometry Divisor Toric variety Ample line bundle Sheaf Cohomology KawamataViehweg vanishing theorem Vanishing theorem CohenMacaulay ring
447	QCSP on partially reflexive forests Barnaby Martin? School of Engineering and Computing Sciences, Durham University Science Labs, South Road, Durham, DH1 3LE, UK Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-04-01 20:03:12 Graph theory Mathematics Computational complexity theory Morphisms Graph coloring Tree Reduction Isomorphism Homomorphism Grushko theorem
448	939 Documenta Math. Fuss-Catalan Numbers in Noncommutative Probability Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-12-11 12:19:44 Mathematics Algebra Abstract algebra Convolution Feature detection Fourier analysis Functional analysis Image processing Generating function Distribution Ring Central limit theorem
449	Proceedings of the CADE-25 ATP System Competition CASC-25 Geo↵ Sutcli↵e University of Miami, USA Abstract Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2015-08-02 19:16:33 Automated theorem proving Software CADE ATP System Competition E theorem prover CASC Andrei Voronkov Mathematical logic
450	RSC ‘Chinese Puzzle’ competition – solution April 2007 Following slides are not a highly formalised proof, but show schematically how dimensions and angles are derived (indicated in blue) based on initial data ( Add to Reading List Source URL: www.rsc.org Language: English - Date: 2015-04-13 05:45:06 Geometry Mathematics Space Triangle geometry Triangles Angle Euclidean plane geometry Equations Pythagorean theorem Triangle

UPDATE