On some recent developments in K¨ahler geometry Xiuxiong Chen, Simon Donaldson, Song Sun September 19, 2013

First Page		Document Content
Date: 2013-09-19 14:19:58 Chinese mathematicians Mathematical logic Gang Tian Ricci curvature Mathematical proof Theorem Mathematics Logic Knowledge		On some recent developments in K¨ahler geometry Xiuxiong Chen, Simon Donaldson, Song Sun September 19, 2013 Add to Reading List Source URL: www2.imperial.ac.uk Download Document from Source Website File Size: 103,92 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