Effective Uniform Bounds from Proofs in Abstract Functional Analysis

Ulrich Kohlenbach

Type: Book-Chapter

Publication Date: 2007-11-27

Citations: 16

DOI: https://doi.org/10.1007/978-0-387-68546-5_11

Similar Works

Action	Title	Year	Authors
+	Strongly uniform bounds from semi-constructive proofs	2005	Philipp Gerhardy Ulrich Kohlenbach
+	Computer-assisted proofs in analysis	1984	Oscar E. Lanford
+	Computing Bounds from Arithmetical Proofs	2010	Stanley S. Wainer
+	Computable Versions of Basic Theorems in Functional Analysis.	2005	Atsushi Yoshikawa Mariko Yasugi
+	Introduction to Proofs	2019	Neil R. Nicholson
+	Understanding preservation theorems: omega-omega bounding	2005	Chaz Schlindwein
+	Theorem Proving in Elementary Analysis	2007	Joanna Porter Guild
+	Proofs from Formal Model in Chapter 4	1999	David Epstein Sharyn O’Halloran
+	Probabilistic rely-guarantee calculus	2016	Annabelle McIver Tahiry Rabehaja Georg Struth
+ PDF Chat	Formal Dependability Modeling and Analysis: A Survey	2016	Waqar Ahmad Osman Hasan Sofiène Tahar
+	Automatic Proofs of	2006	Graph Nonisomorphism
+	Managing Proofs (Abstract)	1996	Leslie Lamport
+	- Requirements for Indirect Methods of Proof	2012
+ PDF Chat	What Could “Effective” Mean for Proofs?	2016	Michael Neubrand
+	On the design of calculational proofs	1994	Edsger W. Dijkstra
+ PDF Chat	Formal Availability Analysis Using Theorem Proving	2016	Waqar Ahmad Osman Hasan
+	Proof validation in real analysis: Inferring and checking warrants	2005	Lara Alcock Keith Weber
+	Special Issue on Theorem Provers and Functional Programming	1999	Tom Melham
+	Run-proof	2007
+	Analysis : An Introduction to Proof	1986	Steven R. Lay

Action	Title	Year	Authors
+	Model theory and metric convergence I: Metastability and dominated convergence	2016	Eduardo Duéñez José Iovino
+	Logical aspects of rates of convergence in metric spaces	2009	Eyvind Martol Briseid
+	On quantitative versions of theorems due to F.E. Browder and R. Wittmann	2010	Ulrich Kohlenbach
+	Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces	2007	Ulrich Kohlenbach Laurenţiu Leuştean
+ PDF Chat	A quantitative mean ergodic theorem for uniformly convex Banach spaces	2009	Ulrich Kohlenbach Laurenţiu Leuştean
+	An application of continuous logic to fixed point theory	2016	Simon Cho
+ PDF Chat	Norm convergence of multiple ergodic averages for commuting transformations	2008	Terence Tao
+	General logical metatheorems for functional analysis	2007	Philipp Gerhardy Ulrich Kohlenbach
+	PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS	2019	Ulrich Kohlenbach
+ PDF Chat	Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces	2009	Ulrich Kohlenbach Laurenţiu Leuştean

Action	Title	Year	Authors
+	Topics in Metric Fixed Point Theory	1990	Kazimierz Goebel W. A. Kirk
+	Recent Progress in Constructive Approximation Theory	1982	Douglas Bridges
+	On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications	1952	G. Kreisel
+ PDF Chat	ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES	1958	Von Kurt Gödel
+	Theory and applications of nonlinear operators of accretive and monotone type	1996	Athanassios G. Kartsatos
+	Subsystems of Second Order Arithmetic	1999	Stephen G. Simpson
+	Continuous Sums of Squares of Forms	1982	Charles N. Delzell
+	Handbook of Metric Fixed Point Theory	2001	W. A. Kirk Brailey Sims
+	Case Distinctions are Necessary for Representing polynomials as Sums of Squares	1982	Charles N. Delzell
+	On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems	2001	Ulrich Kohlenbach