Passer au contenu principal

Computer assisted proofs in analysis

https://repo-archives.ihes.fr/FONDS_IHES/I_Prepublications/LANFORD/1968-2013/P_87_16/P_87_16.pdf

Collection : Lanford, Oscar Erasmus III

Auteur(e.s) : LANFORD

Date : 05/1985

Sujet(s) : INFORMATIQUE

Source : P/87/16

©IHES

Mots-clés

1987, ANALYSE MATHEMATIQUE, BANACH, CONFERENCES ET CONGRES, CVITANOVIC, DE GREGORIO, DE LA LLAVE, DEMONSTRATION, ECKMANN, EN, EULER, FEFFERMAN, FEIGENBAUM, INFORMATIQUE, KOCH, LANFORD, MACKAY, NEWTON, NOMBRES REELS, ORDINATEURS, PERCIVAL, PREPUBLICATION, RANA, SIEGEL, SULLIVAN, TAYLOR, WITTWER

Citer ce document

LANFORD, “Computer assisted proofs in analysis,” Archives de l'IHES, consulté le 11 décembre 2024, https://omeka.ihes.fr/document/P_87_16.pdf.

Formats de sortie