Adobe Acrobat file (51KB)
talk.pdf


Postscript file (168KB)
talk.ps


Individual .ps-files (approx. 30KB each)
Computer-Assisted Proofs in Analysis
Overview
History
What Kind of Problems?
Contraction Mapping Principle
Building Blocks
Bound = Set-Map
Standard Sets (Choice)
Bound on Convolution
Summary


Home Peter Wittwer