Mathematical Reasoning with Diagrams

From Intuition to Automation
 
 
Centre for the Study of Language & Information (Verlag)
  • erschienen am 4. Februar 2002
 
  • Buch
  • |
  • Softcover
  • |
  • 200 Seiten
978-1-57586-324-5 (ISBN)
 
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.
  • Englisch
  • Stanford
  • |
  • USA
  • Für höhere Schule und Studium
  • |
  • Für Beruf und Forschung
Illustrations
  • Höhe: 229 mm
  • |
  • Breite: 154 mm
  • |
  • Dicke: 12 mm
  • 308 gr
978-1-57586-324-5 (9781575863245)
1575863243 (1575863243)
Mateja Jamnik is a research fellow in the School of Computer Science at the University of Birmingham.

Versand in 10-20 Tagen

24,68 €
inkl. 7% MwSt.
in den Warenkorb

Abholung vor Ort? Sehr gerne!
Unsere Web-Seiten verwenden Cookies. Mit der Nutzung dieser Web-Seiten erklären Sie sich damit einverstanden. Mehr Informationen finden Sie in unserem Datenschutzhinweis. Ok