Thmtools Users’ Guide Dr. Ulrich M. Schwarz – [removed]∗ [removed]v66 Abstract The thmtools bundle is a collection of packages that is designed to provide an easier interface to theorems, and - Bundle theory - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-04-21 14:25:19 Prime number Number theory Theorem Euclid Mathematics Logic Integer sequences		Thmtools Users’ Guide Dr. Ulrich M. Schwarz – [removed]∗ [removed]v66 Abstract The thmtools bundle is a collection of packages that is designed to provide an easier interface to theorems, and Add to Reading List Source URL: ctan.ijs.si Download Document from Source Website File Size: 220,65 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