Mathematical Reasoning with Diagrams
Häftad, Engelska, 2001
279 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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