A01=Mateja Jamnik
algorithm
argument
Author_Mateja Jamnik
automatic theorem proving
Category=PBC
charts
cognition
computation
decision making
deduction
diagrams
diamond
engineering
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
induction
logic
mathematical proofs
mathematics
mechanization
nonfiction
philosophy
programming
proof
rationality
reasoning
reference
symbolic
technology
textbook
theorems
Product details
- ISBN 9781575863238
- Weight: 425g
- Dimensions: 15 x 23mm
- Publication Date: 01 Nov 2001
- Publisher: Centre for the Study of Language & Information
- Publication City/Country: US
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
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.
