Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
931	J. LOGIC PROGRAMMING 1999:41:233{CONJUNCTIVE PARTIAL DEDUCTION: FOUNDATIONS, CONTROL, ALGORITHMS, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:02 Automated theorem proving Operator Operator theory Resolution Horn clause
932	A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality Jasmin Christian Blanchette1,2 , Mathias Fleury2 , and Christoph Weidenbach2 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-06-17 09:50:06 Formal methods Automated theorem proving Logic in computer science Boolean algebra Electronic design automation Conflict-Driven Clause Learning Boolean satisfiability problem Satisfiability modulo theories Clause Vampire Propositional calculus Lambda calculus
933	✐ ✐ ✐ “BN11N25” — — 10:29 — page 393 — #1 Add to Reading List Source URL: w3.math.sinica.edu.tw Language: English - Date: 2016-06-06 22:30:39 Algebraic varieties Projective geometry Algebraic geometry Birational geometry Analytic geometry Quintic threefold Hyperplane Projective variety Normal Curve Lefschetz hyperplane theorem Conic section
934	The Need for Humans in the Loop: Meeting the Grand Challenge of Full Functional Verification Matt Kaufmann & J Strother Moore Department of Computer Science University of Texas at Austin Austin, TX 78701 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-22 17:23:36 Formal methods Technical communication Automated theorem proving Theoretical computer science Logic in computer science Formal verification ACL2 Functional verification User interface Proof assistant Usability Verification and validation
935	Rigorous Runtime Analysis of a (µ+1) ES for the Sphere Function ∗ Carsten Witt Add to Reading List Source URL: ls2-www.cs.uni-dortmund.de Language: English - Date: 2007-02-01 10:30:10 Measure theory Probability distributions Support Big O notation Central limit theorem
936	k(n)-torsion-free H-spaces and P (n)-cohomology J. Michael Boardman W. Stephen Wilson June 2005 Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-03-30 15:19:14 Algebraic topology Homological algebra Cohomology theories Homotopy theory Cohomology Landweber exact functor theorem Morava K-theory Spectrum Sheaf Thom space Cobordism Adams spectral sequence
937	Entanglement Spectrum, Topological Entanglement Entropy and a Quantum Hammersley-Clifford Theorem Fernando G.S.L. Brandão Microsoft Research based on joint work with Add to Reading List Source URL: fernandobrandao.org Language: English - Date: 2016-03-07 15:19:03 Quantum information science Quantum cryptography Emerging technologies Quantum computing Quantum mechanics Quantum technology
938	939 Documenta Math. Fuss-Catalan Numbers in Noncommutative Probability Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2010-12-11 12:19:44 Convolution Feature detection Fourier analysis Functional analysis Image processing Generating function Ring Distribution Central limit theorem
939	Repeated Games Page 1 Repeated Games Add to Reading List Source URL: www.virtualperfection.com Language: English - Date: 2010-04-18 23:59:20 Game theory Subgame Nash equilibrium Extensive-form game Trembling hand perfect equilibrium Normal-form game Information set Repeated game Strategy Folk theorem Coordination game Outcome
940	Spectral Graph Theory Lecture 21 Spectral Partitioning in the Planted Partition Model Daniel A. Spielman Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2012-08-24 09:50:05 Matrix theory Linear algebra Matrices Singular value decomposition Eigenvalues and eigenvectors Graph partition Symmetric matrix Matrix PerronFrobenius theorem Eigendecomposition of a matrix

UPDATE