Constructive Analysis with Witnesses

by Helmut Schwichtenberg
Citations:3 - 1 self

Documents Related by Co-Citation

60 Program extraction from normalization proofs – Ulrich Berger, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg - 1993
401 Vulnerabilities Analysis – Matt Bishop - 1999
76 Interpretation of analysis by means of constructive functionals of finite types – G Kreisel - 1959
22 Constructive Real Analysis: a Type-Theoretical Formalization and Applications. Faculty of Science, Mathematics and Computer – L Cruz-Filipe
47 A New Extraction for Coq – Pierre Letouzey - 2002
25 A Constructive Proof of the Fundamental Theorem of Algebra without using the Rationals – Herman Geuvers, Freek Wiedijk, Jan Zwanenburg - 2001
3 Exact calculation of inverse functions – Josef Berger - 2005
3 Continuity of monotone functions – Mark Mandelkern - 1982
6 Exact Real Arithmetic with Automatic Error Estimates in a Computer Algebra System – Examensarbete I Matemaik, Patrik Andersson, Patrik Andersson, Handledare Erik Palmgren - 2001
9 Uniform Heyting arithmetic – Ulrich Berger - 2005
3 growth in standard parts of analysis – U Kohlenbach, Real - 1995
12 Term rewriting for normalization by evaluation – Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg
29 Lectures on Ordinary Differential Equations – Witold Hurewicz - 1958
876 Interval analysis – R Moore - 1966
2 Exaktes Rechnen mit reellen Zahlen und anderen unendlichen Objekten – E Wiedmer - 1977
3 A co-inductive approach to real numbers – A Ciaffaglione, P D Gianantonio - 1999
8 From coinductive proofs to exact real arithmetic – Ulrich Berger
3 Proofs, programs, processes – Ulrich Berger, Monika Seisenberger
2 Mixing Induction and Coinduction – Nils Anders Danielsson, Thorsten Altenkirch - 2009