purplecat: Hand Drawn picture of a Toy Cat (mathematics)
2008-11-20 09:40 am
  • Add Memory
  • Share This Entry
Entry tags:
  • computer science:verification,
  • mathematics,
  • mathematics:formal proof,
  • mathematics:verification

How to (Really) Trust a Mathematical Proof

Quite a nice article which explains the sort of stuff I (used to) research:

How to (Really) Trust a Mathematical Proof
  • Add Memory
  • Share This Entry
  • Link
  • 1 comment
  • Post a new comment

[ Home | Post Entry | Log in | Search | Browse Options | Site Map ]