bokomslag Mathematical Reasoning with Diagrams
Vetenskap & teknik

Mathematical Reasoning with Diagrams

Mateja Jamnik

Inbunden

799:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

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

Denna produkt går inte att reservera, köp den gärna online!

Andra format:

  • 200 sidor
  • 2001
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.
  • Författare: Mateja Jamnik
  • Format: Inbunden
  • ISBN: 9781575863238
  • Språk: Engelska
  • Antal sidor: 200
  • Utgivningsdatum: 2001-11-01
  • Förlag: Centre for the Study of Language & Information