The Hahn-Banach Theorem for real vector spaces (2001)

by Gertrud Bauer
Venue:PART OF THE ISABELLE99-2 DISTRIBUTION, LIBRARY/HOL/HOL-REAL/HAHNBANACH/DOCUMENT.PDF
Citations:4 - 1 self

Active Bibliography

Contents – Gertrud Bauer - 2011
7 Computer-Assisted Mathematics at Work -- The Hahn-Banach Theorem in Isabelle/Isar – Gertrud Bauer, Markus Wenzel - 2000
A Formal Proof Of The Riesz Representation Theorem – Anthony Narkawicz
HILBERT SPACES – Emil Ernst, Michel Théra, Emil Ernst, Michel Théra