Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
11	ON THE VANISHING OF REDUCED 1-COHOMOLOGY FOR BANACHIC REPRESENTATIONS YVES CORNULIER AND ROMAIN TESSERA Abstract. A theorem of Delorme states that every unitary representation of a connected Lie group with nontrivial red Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2017-10-19 06:33:46 Geometry Group theory Mathematics Geometric group theory Lie groups Topological groups Metric geometry Amenable group Kazhdan's property Solvable group Lattice Representation theory
12	Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:45 Software Automated theorem proving Theoretical computer science Formal methods TPTP Proof assistant Frama-C Theorem prover E theorem prover Theorem Isabelle
13	Isabelle/HOL Integrated Theorem Proving Tjark Weber Cooperation of Deduction Tools Day Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2006-04-11 08:01:06 Mathematical logic Theoretical computer science Proof assistants Mathematics Logic in computer science Formal methods Type theory Automated theorem proving Isabelle Lambda calculus Higher-order logic HOL
14	ON A VANISHING THEOREM OF S. SAITO AND K. SATO by Jean-Baptiste Teyssier Introduction This text is an expanded version of a talk given for the Winter research seminar Add to Reading List Source URL: jbteyssier.com Language: English - Date: 2014-11-25 15:38:07 Algebra Abstract algebra Mathematics Algebraic geometry Cohomology theories Homological algebra Sheaf theory Algebraic topology Divisor tale cohomology Chow group Sheaf
15	Kruskal’s Tree Theorem for Term Graphs Georg Moser Maria A Schett TERMGRAPH 2016, Eindhoven Add to Reading List Source URL: www.maria-a-schett.net Language: English - Date: 2016-12-11 09:17:20 Mathematics Graph theory Discrete mathematics Mathematical logic Wellfoundedness Logic in computer science Rewriting Kruskal's tree theorem Graph
16	Understanding Resolution Proofs through Herbrand’s Theorem TBILLC 2013 Stefan Hetzl, Tomer Libal, Martin Riener, Mikheil Rukhaia September 28, 2013 Add to Reading List Source URL: www.logic.at Language: English - Date: 2013-10-04 04:37:42
17	A Proofs Proof 1 (of Theorem 1) By writing the definition of the entropy, we have: " Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2015-11-01 13:02:41 Mathematics Combinatorial optimization Graph theory Applied mathematics Routing algorithms Heuristic Mathematical optimization Matching Network theory Game artificial intelligence Pathfinding
18	An Explicating Theorem Prover for Quantified Formulas Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:40:19 Logic Mathematical logic Mathematics Model theory Semantics Predicate logic Formal languages Boolean satisfiability problem Tautology Well-formed formula Conjunctive normal form Interpretation
19	¨ UNEXPECTED ISOMORPHISMS BETWEEN HYPERKAHLER FOURFOLDS OLIVIER DEBARRE Abstract. Using Verbitsky’s Torelli theorem, we show the existence of various isomorphisms between certain hyperk¨ Add to Reading List Source URL: www.math.ens.fr Language: English - Date: 2017-03-03 09:55:02 Topology Algebraic surfaces Geometry Algebraic geometry K3 surface Birational geometry Divisor Quartic surface Von Neumann algebra Hodge structure
20	The use of theorem-proving techniques in question-answering systems by C. C O R D E L L G R E E N and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-16 13:36:18 Logic Mathematics Mathematical logic Metalogic Model theory Syntax Well-formed formula First-order logic Resolution Logic programming Tautology

UPDATE