Finns i fler format (1)
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.
Produktinformation
- Utgivningsdatum2001-11-01
- Mått15 x 23 x 1 mm
- Vikt312 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes
- Antal sidor200
- FörlagCentre for the Study of Language & Information
- ISBN9781575863245
Tillhör följande kategorier
Hoppa över listan