News for hackers. Stuff that matters.

A comment on Two-hundred-terabyte math proof is largest ever.

Re:Two-hundred-terabyte math proof is largest ever by mafribe on Friday May 27, 2016 @09:00AM (#11785683)
There is an increasing appreciation that large proofs need "proof engineering" that is similar to software engineering. See e.g.

- D. Aspinall, C. Kaliszyk, Towards Formal Proof Metrics.

- G. Klein, Proof Engineering Considered Essential.

- G. Gonthier, Engineering Mathematics: The Odd Order Theorem Proof.

- T. Bourke, M. Daum, G. Klein, R. Kolanski, Challenges and Experiences in Managing Large-Scale Proofs.

[ Parent | on HN ]
Re:Two-hundred-terabyte math proof is largest ever by JadeNB on Thursday June 02, 2016 @03:40PM (#11825445)
Links, unfortunately non-free:

Towards formal proof metrics: http://link.springer.com/chapter/10.1007/978-3-662-49665-7_1...

Proof engineering considered essential: http://link.springer.com/chapter/10.1007/978-3-319-06410-9_2

Engineering mathematics: http://dl.acm.org/citation.cfm?id=2429071

Challenges and experiences …: http://link.springer.com/chapter/10.1007/978-3-642-31374-5_3

[ Parent | on HN ]