Jim Kingdon on Programming
Tuesday, June 28, 2011
Celebrate tau day with a few proofs
›
What better way to celebrate Tau Day than by trying your hand at writing a few proofs? Wikiproofs is a wiki which anyone can edit, and the ...
Friday, June 17, 2011
Help me proofread tau day exercises
›
In honor of tau day (a math holiday celebrated on June 28 every year), I have written some exercises at wikiproofs.org tau day . If you hav...
2 comments:
Sunday, May 15, 2011
Scripting math proofs with RHilbert
›
Formal math projects like wikiproofs prove mathematical theorems in a way that a computer can verify. There could be several motivations fo...
‹
›
Home
View web version