Mathematical Reasoning with Diagrams – From Intuition to Automation: Volume 127 (Lecture Notes) - Softcover

Jamnik, M

 
9781575863245: Mathematical Reasoning with Diagrams – From Intuition to Automation: Volume 127 (Lecture Notes)
Softcover
ISBN 10: 1575863243 ISBN 13: 9781575863245
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 
1575863243
ISBN 13 
9781575863245
Binding
Paperback
Number of pages
210

Other Popular Editions of the Same Title

9781575863238: Mathematical Reasoning with Diagrams: Volume 127 (Lecture Notes)

Featured Edition

ISBN 10:  1575863235 ISBN 13:  9781575863238
Publisher: Center for the Study of Language..., 2002
Hardcover