Title	Formalized Brouwerian Real Analysis using the Nuprl proof assistant
Creator	Bickford, Mark
Publisher	Banff International Research Station for Mathematical Innovation and Discovery
Date Issued	2016-11-15T16:15
Extent	45 minutes
Subject	Mathematics; Mathematical logic and foundations; Numerical analysis; Logic and foundations
Type	Moving Image
File Format	video/mp4
Language	eng
Notes	Author affiliation: Cornell University
Series	BIRS Workshop Lecture Videos (Oaxaca de Juárez (Mexico))
Date Available	2017-06-16
Provider	Vancouver : University of British Columbia Library
Rights	Attribution-NonCommercial-NoDerivatives 4.0 International
DOI	10.14288/1.0348306
URI	http://hdl.handle.net/2429/61989
Affiliation	Non UBC
Peer Review Status	Unreviewed
Scholarly Level	Faculty
Rights URI	http://creativecommons.org/licenses/by-nc-nd/4.0/
Aggregated Source Repository	DSpace

Open Collections

BIRS Workshop Lecture Videos