On some computer-aided proofs in analysis

University dissertation from Uppsala : Department of Mathematics, Uppsala University

Abstract:

  CLICK HERE TO DOWNLOAD THE WHOLE DISSERTATION. (in PDF format)