1182043
9781575863245
Mathematicians at every level use diagrams to prove theorems. This book investigates the possibilities of mechanising this sort of reasoning in a formal computer-proof system which allows users to prove theorems using diagrams.Mateja Jamnik is the author of 'Mathematical Reasoning with Diagrams (Center for the Study of Language and Information - Lecture Notes)', published 2001 under ISBN 9781575863245 and ISBN 1575863243.
[read more]