Mathematical Reasoning with Diagrams (häftad)

Fler böcker inom

Matematik

Format: Häftad (Paperback / softback)
Språk: Engelska
Serie: Lecture Notes
Antal sidor: 200
Utgivningsdatum: 2001-11-01
Förlag: Centre for the Study of Language & Information
Dimensioner: 229 x 154 x 12 mm
Vikt
ISBN: 9781575863245

Mathematical Reasoning with Diagrams

Name: Mathematical Reasoning with Diagrams
Price: 243.00 SEK
Availability: OutOfStock
Author: Mateja Jamnik
ISBN: 9781575863245

av Mateja Jamnik

Häftad, Engelska, 2001-11-01

243

Bevaka

Spara som favorit

Tillfälligt slut – klicka "Bevaka" för att få ett mejl så fort boken går att köpa igen.

Finns även som

Inbunden

Skickas inom 11-20 vardagar (specialorder)

750

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

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...

711

Köp

Skickas inom vardagar.