Title of the contribution Mo Vep Peter Wan IRCCyN, CNRS

First Page		Document Content
Date: 2015-11-09 04:09:21 Statements Mathematics Lemmas Logical consequence Theorem THM Farkas' lemma Conjecture Language		Title of the contribution Mo Vep Peter Wan IRCCyN, CNRS Add to Reading List Source URL: movep14.irccyn.ec-nantes.fr Download Document from Source Website File Size: 97,74 KB Share Document on Facebook

	Making Automatic Theorem Provers more Versatile Simon Cruanes Veridis, Inria Nancy https://cedeela.fr/~simon/ August 2017 DocID: 1xVS8 - View Document
	Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park, California DocID: 1xVHV - View Document
	A proof of Minkowski’s second theorem Matthew Tointon Minkowski’s second theorem is a fundamental result from the geometry of numbers with important applications in additive combinatorics (see, for example, its appli DocID: 1xVE5 - View Document
	Theorem Proving using Lazy Proof Expli ation Corma Flanagan1 , Rajeev Joshi1 , Xinming Ou2 , and James B. Saxe1 1 Systems Resear h Center, HP Labs, Palo Alto, CA 2 DocID: 1xVDI - View Document
	A BOUNDEDNESS THEOREM FOR NEARBY SLOPES OF HOLONOMIC D-MODULES by Jean-Baptiste Teyssier Abstract. — Using twisted nearby cycles, we define a new notion of slopes for complex holonomic D-modules. We prove a boundednes DocID: 1xVAt - View Document