Computer assisted proofs in analysis

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

LANFORD

05/1985

INFORMATIQUE

P/87/16

©IHES

Citer ce document

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