''Using computers in proofs both extends mathematics with new results and creates new mathematical questions about the nature and technique of such proofs.'' [source and source]
A good starting point is this article.
Sunday, November 09, 2008
Computer-supported formal proofs
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment