Hahn-Banach Theorem (1993)

Cached

Download Links

by Bogdan Nowak , Andrzej Trybulec
Citations:4 - 0 self

Documents Related by Co-Citation

3 Funktionalanalysis: Theorie und Anwendung – H Heuser - 1986
4 The Hahn-Banach theorem: The life and times – L NARICI, E BECKENSTEIN - 1997
4 The Hahn-Banach Theorem for real vector spaces – Gertrud Bauer - 2001
3 The shaping of the riesz representation theorem: A chapter in the history of analysis. Archive for History of Exact Sciences – J D Gray - 1984
2 les opérations fonctionelles linéaires. Comptes rendus de l’Académie des sciences – Sur - 1909
5 Formalization of the integral calculus in the pvs theorem prover – Ricky W. Butler - 2004
7 Real Analysis – N B Haaser, J A Sullivan - 1991
7 Computer-Assisted Mathematics at Work -- The Hahn-Banach Theorem in Isabelle/Isar – Gertrud Bauer, Markus Wenzel - 2000
7 Three Tactic Theorem Proving – Don Syme - 1999
2 The type theory and type checker of GF – P Mienpii, A Ranta - 1999
2 Lesbare Formale Beweise in Isabelle/Isar — Der Satz von Hahn-Banach – G Bauer - 1999
3 Mathematical Vernacular in Type Theory-based Proof Assistants – Paul Callaghan, Zhaohui Luo - 1998
1 Using Axiomatic Type Classes in Isabelle, 2000. Part of the Isabelle documentation, http://isabelle.in.tum.de/doc/axclass.pdf – M Wenzel
6 The Quest for Correctness – Henk Barendregt - 1996
5 The Coq Proof Assistant User’s Guide, version 6.1. INRIA-Rocquencourt et CNRSENS – C Cornes, J Courant, J-C Filliâtre, G Huet, P Manoury, C Muñoz - 1996
4 Teaching people to write Proofs: a Tool – R Burstall - 1998
7 The Hahn-Banach Theorem in Type Theory – Jan Cederquist, Thierry Coquand, Sara Negri - 1997
6 An Outline of PC Mizar – Michal Muzalewski - 1993
5 Protocols for interactive e-proof – David Aspinall - 2000