• Previous Day
  • |
  • Next Day

2008-11-20

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
  • Previous Day
  • |
  • Next Day

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