Mathematical Reasoning with Diagrams
Will be published approx. on 1. November 2001
Book
Hardback
200 pages
978-1-57586-323-8 (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: 2 mm
Weight
425 gr
ISBN-13
978-1-57586-323-8 (9781575863238)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification