Collected papers: pdf

On proof assistants for proofs in analysis:

- Oscar E. Lanford,
*Computer assisted proofs*, in:*Computational Methods in Field Theory*, Lecture Notes in Physics,**409**, Springer (1992) [doi:10.1007/3-540-55997-3_30]

category: people

Created on January 25, 2023 at 09:26:52. See the history of this page for a list of all contributions to it.