Computer-assisted proofs in analysis

Oscar E. Lanford

Type: Article

Publication Date: 1984-03-01

Citations: 67

DOI: https://doi.org/10.1016/0378-4371(84)90262-0

Similar Works

Action	Title	Year	Authors
+	Computer-assisted proofs	2006
+	Theorem Proving in Elementary Analysis	2007	Joanna Porter Guild
+	Proof Theory in Computer Science	2001	Reinhard Kähle Peter Schroeder‐Heister Robert F. Stärk
+	Automatic Proofs of	2006	Graph Nonisomorphism
+	Computer theorem proving in math	2004	Carlos Simpson
+	Computer-Generated Proofs of Mathematical Theorems	2003	David M. Bressoud
+	Proofs and Algorithms	2011	Gilles Dowek
+	On the design of calculational proofs	1994	Edsger W. Dijkstra
+	Proofs and proof theory	2014
+	Types of Proof Techniques	2021	Lito Perez Cruz
+ PDF Chat	Theory of proofs (arithmetic and analysis)	1977	G. E. Mints
+ PDF Chat	Computer Theorem Proving in Mathematics	2004	Carlos Simpson
+ PDF Chat	On Radically Expanding the Landscape of Potential Applications for Automated-Proof Methods	2021	Jeffrey Uhlmann Jie Wang
+	Selected Papers in Proof Theory	1992	G. Mints
+	The Method of Proofs and Refutations	2001
+	The Method of Proofs and Refutations	2001
+	Hilbert-style Proofs	1993	David Gries Fred B. Schneider
+	Unwinding proofs (‘Proof Mining’)	2008
+	Textbook analyses on reasoning-and-proving: Significance and methodological challenges	2014	Gabriel J. Stylianides
+	Analysis : An Introduction to Proof	1986	Steven R. Lay

Action	Title	Year	Authors
+	A KAM theory for conformally symplectic systems: Efficient algorithms and their validation	2013	Renato Calleja Alessandra Celletti Rafael de la Llave
+	Cylinder renormalization for Siegel disks and a constructive Measurable Riemann Mapping Theorem	2005	Denis Gaidashev
+ PDF Chat	Torus knot choreographies in the n-body problem	2021	Renato Calleja Carlos García-Azpeitia Jean‐Philippe Lessard J. D. Mireles James
+ PDF Chat	PERIOD DOUBLING RENORMALIZATION FOR AREA-PRESERVING MAPS AND MILD COMPUTER ASSISTANCE IN CONTRACTION MAPPING PRINCIPLE	2011	Denis Gaidashev
+ PDF Chat	Existence of the FS-type renormalisation fixed point for unidirectionally-coupled pairs of maps	2023	Andrew Burbanks A. H. Osbaldestin
+	Rigorous Bounds on the Hausdorff Dimension of Siegel Disc Boundaries	1998	Andrew Burbanks A. H. Osbaldestin A. Stirnemann
+	Existence of the Siegel disc renormalization fixed point	1994	A. Stirnemann
+	Kolmogorov–Arnold–Moser (KAM) Theory	2011	Luigi Chierchia
+	Towards an Existence Proof of MacKay's Fixed Point	1997	A. Stirnemann
+	Rigorous numerical investigation of the statistical properties of piecewise expanding maps. A feasibility study	2001	Carlangelo Liverani

Action	Title	Year	Authors
+	Iterated Maps on the Interval as Dynamical Systems	2009	Pierre Collet Jean-Pierre Eckmann
+ PDF Chat	A computer-assisted proof of universality for area-preserving maps	1984	Jean-Pierre Eckmann Herbert Koch Peter Wittwer
+ PDF Chat	Converse KAM: Theory and practice	1985	Robert S. MacKay I C Percival