Items related to Mathematical Reasoning with Diagrams: Volume 127 (Lecture...

Mathematical Reasoning with Diagrams: Volume 127 (Lecture Notes) - Hardcover

Jamnik, Mateja

 
9781575863238: Mathematical Reasoning with Diagrams: Volume 127 (Lecture Notes)
Hardcover
ISBN 10: 1575863235 ISBN 13: 9781575863238
Publisher: Center for the Study of Language and Information, 2002

Synopsis

Mathematicians at every level use diagrams to prove theorems. "Mathematical Reasoning with Diagrams" investigates the possibilities of mechanizing this sort of diagrammatic reasoning in a formal computer proof system, even offering a semi-automatic formal proof system - called Diamond - which allows users to prove arithmetical theorems using diagrams.

"synopsis" may belong to another edition of this title.

About the Author

Mateja Jamnik is a research fellow in the School of Computer Science at the University of Birmingham.

"About this title" may belong to another edition of this title.

Publisher
Center for the Study of Language and Information
Publication date
2002
Language
English
ISBN 10 
1575863235
ISBN 13 
9781575863238
Binding
Hardcover
Number of pages
200