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

Source URL: www.normalesup.org

• Geometry
• Group theory
• Mathematics
• Geometric group theory
• Lie groups
• Topological groups
• Metric geometry
• Amenable group
• Kazhdan's property
• Solvable group
• Lattice
• Representation theory

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

Source URL: www.cs.man.ac.uk

• Software
• Automated theorem proving
• Theoretical computer science
• Formal methods
• TPTP
• Proof assistant
• Frama-C
• Theorem prover
• E theorem prover
• Theorem
• Isabelle

Isabelle/HOL Integrated Theorem Proving Tjark Weber Cooperation of Deduction Tools Day

Source URL: user.it.uu.se

• 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

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

Source URL: jbteyssier.com

• Algebra
• Abstract algebra
• Mathematics
• Algebraic geometry
• Cohomology theories
• Homological algebra
• Sheaf theory
• Algebraic topology
• Divisor
• tale cohomology
• Chow group
• Sheaf

Kruskal’s Tree Theorem for Term Graphs Georg Moser Maria A Schett TERMGRAPH 2016, Eindhoven

Source URL: www.maria-a-schett.net

• Mathematics
• Graph theory
• Discrete mathematics
• Mathematical logic
• Wellfoundedness
• Logic in computer science
• Rewriting
• Kruskal's tree theorem
• Graph

Understanding Resolution Proofs through Herbrand’s Theorem TBILLC 2013 Stefan Hetzl, Tomer Libal, Martin Riener, Mikheil Rukhaia September 28, 2013

Source URL: www.logic.at

A Proofs Proof 1 (of Theorem 1) By writing the definition of the entropy, we have: "

Source URL: cims.nyu.edu

• Mathematics
• Combinatorial optimization
• Graph theory
• Applied mathematics
• Routing algorithms
• Heuristic
• Mathematical optimization
• Matching
• Network theory
• Game artificial intelligence
• Pathfinding

An Explicating Theorem Prover for Quantified Formulas

Source URL: rjoshi.org

• Logic
• Mathematical logic
• Mathematics
• Model theory
• Semantics
• Predicate logic
• Formal languages
• Boolean satisfiability problem
• Tautology
• Well-formed formula
• Conjunctive normal form
• Interpretation

¨ UNEXPECTED ISOMORPHISMS BETWEEN HYPERKAHLER FOURFOLDS OLIVIER DEBARRE Abstract. Using Verbitsky’s Torelli theorem, we show the existence of various isomorphisms between certain hyperk¨

Source URL: www.math.ens.fr

• Topology
• Algebraic surfaces
• Geometry
• Algebraic geometry
• K3 surface
• Birational geometry
• Divisor
• Quartic surface
• Von Neumann algebra
• Hodge structure

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

Source URL: www.kestrel.edu

• Logic
• Mathematics
• Mathematical logic
• Metalogic
• Model theory
• Syntax
• Well-formed formula
• First-order logic
• Resolution
• Logic programming
• Tautology