A mathematician will turn a groundbreaking 100-page proof into computer code. The proof tool, Lean, lets users turn proofs written in prose into rules and logic for testing. Kevin Buzzard already uses ...
VOUK 1, in a letter in Nature, gave a proof of Cauchy's theorem that the average area of projection of a convex body on a plane equals one-quarter the surface area of the body. The following less ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback