Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
431	THE DAUGAVET EQUATION FOR BOUNDED VECTOR VALUED FUNCTIONS ´ ´ STEFAN BRACH, ENRIQUE A. SANCHEZ PEREZ Add to Reading List Source URL: page.mi.fu-berlin.de Language: English - Date: 2016-02-16 11:29:51 Operator theory Mathematical analysis Mathematics Theoretical physics Symbol Constructible universe Compact operator Compactness theorem Linear temporal logic NeumannPoincar operator
432	31 Documenta Math. Effective Freeness of Adjoint Line Bundles Gordon Heier Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2002-05-18 06:29:11 Algebra Geometry Abstract algebra Vector bundles Algebraic geometry Algebraic varieties Divisor Ample line bundle Canonical bundle Projective variety Birational geometry LindemannWeierstrass theorem
433	From Deep Inference to Proof Nets via Cut Elimination Lutz Straßburger INRIA Saclay–ˆIle-de-France, France http://www.lix.polytechnique.fr/∼ lutz June 24, 2009 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-06-25 08:22:18 Logic Mathematical logic Proof theory Sequent Rule of inference Natural deduction Propositional calculus Deep inference Theorem Intuitionistic logic Formal proof Inference
434	A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 03:03:05 Theoretical computer science Computational complexity theory Mathematics Constraint programming Numerical software Automated theorem proving DPLL algorithm Packing problems Solver Constraint satisfaction Reduction Algorithm
435	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:45:21 Theoretical computer science Mathematical logic Mathematics Logic programming Logic in computer science Automated theorem proving Formal methods Unification Lambda calculus Constraint logic programming Conjunctive normal form
436	A Linear-Time Algorithm for Network Decomposition Lenore J. Cowen Department of Mathematical Sciences The Johns Hopkins University Baltimore, MD 21218 Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2012-10-31 09:54:23 Graph theory Mathematics Network theory Edsger W. Dijkstra Shortest path problem Graph Planar separator theorem Graph coloring
437	Building Event-B Interlocking Theories: Lessons Learned using the Theory Plug-in Yoann Guyot, Renaud De Landtsheer, Christophe Ponsard CETIC Research Center, Charleroi, Belgium {yoann.guyot, renaud.delandtsheer, christop Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:41:20 Logic Abstraction Philosophy Metalogic Mathematical proofs Interlocking Theorem Theory Railway signalling Model theory Domain-specific language Rodin tool
438	ARTICLE IN PRESS Stochastic Processes and their Applications–1517 www.elsevier.com/locate/spa Frequently visited sets for random walks Add to Reading List Source URL: www.math.csi.cuny.edu Language: English - Date: 2009-05-03 17:58:56 Icelandic language Latin script English th Middle English language Old English language Thorn Anglo-Saxon runes PerronFrobenius theorem Collation
439	275 Doc. Math. J. DMV A Minimax Principle for Eigenvalues in Spectral Gaps: Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-15 07:20:43 Mathematical analysis Operator theory Mathematics Complex analysis Moduli theory Spectral theory Quantum mechanics Fundamental theorem of algebra
440	Encoding Monomorphic and Polymorphic Types Jasmin Christian Blanchette1 , Sascha Böhme1 , Andrei Popescu1 , and Nicholas Smallbone2 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Logic Mathematical logic Mathematics Automated theorem proving Logic programming Model theory Formal languages Type theory Unification Structure Substitution Symbol

UPDATE