Mathematical reasoning with diagrams
Auteur :
Jamnik, Mateja
Éditeur :
Centre for the Study of Language & Information
ISBN :
9781575863245
Date de publication :
1 nov. 2001
Dimensions :
2,3 x 1,5 x 0,1 cm
Poids :
312 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 proof system which allows users to prove theorems using diagrams.