Mathematical Reasoning with Diagrams
Will be published approx. on 1. November 2001
Book
Paperback/Softback
200 pages
978-1-57586-324-5 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Stanford
United States
Target group
College/higher education
Professional and scholarly
Dimensions
Height: 23 mm
Width: 15 mm
Thickness: 1 mm
Weight
312 gr
ISBN-13
978-1-57586-324-5 (9781575863245)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification