Mathematical Reasoning with Diagrams
Inbunden, Engelska, 2001
999 kr
Beställningsvara. Skickas inom 11-20 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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 2 mm
- Vikt425 g
- FormatInbunden
- SpråkEngelska
- SerieLecture Notes
- Antal sidor200
- FörlagCentre for the Study of Language & Information
- ISBN9781575863238
Tillhör följande kategorier
Hoppa över listan