Mathematical reasoning with diagrams
Auteur :
Jamnik, Mateja
Éditeur :
Centre for the Study of Language & Information
ISBN :
9781575863238
Date de publication :
1 nov. 2001
Dimensions :
2,3 x 1,5 x 0,2 cm
Poids :
425 g
Langue :
Anglais
Pays d'origine :
USA
Mathematicians at every level use diagrams to prove theorems. This book investigates the possibilities of mechanizing this sort of reasoning in a formal computer-proof system, and offers a semi-automatic formal proof system which allows users to prove theorems using diagrams.