Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–82) PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS Ulrich Kohlenbach - Washington Crossing - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2018-07-25 13:17:42 Mathematics Structure Abstraction Computability theory Metric geometry Topology Proof theory Primitive recursive function Theory of computation Mathematical logic Metric space Proof mining		Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–82) PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS Ulrich Kohlenbach Add to Reading List Source URL: eta.impa.br Download Document from Source Website File Size: 434,39 KB Share Document on Facebook

	Coarse Geometry and Randomness Itai Benjamini October 30, 2013 Contents 1 Introductory graph and metric notions DocID: 1xW27 - View Document
	Vladimir S. Matveev (Jena) Vladimir S. Matveev (Jena) How to reconstruct a metric by its unparameterized geodesics. Lorenz Geometry, Granada, DocID: 1rR2F - View Document
	A Lorentz metric on the manifold of positive definite (2 x 2)-matrices and foliations by ellipses Marcos Salvai ´ FaMAF (UNC) – CIEM (CONICET), Cordoba, DocID: 1rsXz - View Document
	Lassoing Phylogenetic Trees Katharina Huber, School of Computing Sciences, University of East Anglia, UK September 23, 2015 DocID: 1rrmV - View Document
	HagenQuasiArb10Feb2103.dvi DocID: 1rmpQ - View Document