Mathematical Reasoning with Diagrams (häftad)
Fler böcker inom
Format
Inbunden (Hardback)
Språk
Engelska
Serie
Lecture Notes
Antal sidor
200
Utgivningsdatum
2001-11-01
Förlag
Centre for the Study of Language & Information
Dimensioner
237 x 159 x 17 mm
Vikt
418 g
ISBN
9781575863238

Mathematical Reasoning with Diagrams

av Mateja Jamnik
Inbunden,  Engelska, 2001-11-01

Slutsåld

Finns även som
Visa alla 1 format & utgåvor
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.
Visa hela texten

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av Mateja Jamnik

  • Diagrammatic Representation and Inference

    Diagrammatic Representation and Inference

    Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz

    This book constitutes the refereed proceedings of the 9th InternationalConference on the Theory and Application of Diagrams, Diagrams 2016,held in Philadelphia, PA, USA, in August 2016. The 12 revised full papers and 11 short papers presented toge...

    717
    Köp
    Skickas inom vardagar.

Du kanske gillar