Verwandte Artikel zu Mathematical Reasoning with Diagrams: Volume 127 (Csli...

Mathematical Reasoning with Diagrams: Volume 127 (Csli Lecture Notes, Band 127) - Hardcover

Jamnik, Mateja

 
9781575863238: Mathematical Reasoning with Diagrams: Volume 127 (Csli Lecture Notes, Band 127)
Hardcover
ISBN 10: 1575863235 ISBN 13: 9781575863238
Verlag: CTR FOR STUDY OF LANG & INFO, 2001

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Mateja Jamnik is a research fellow in the School of Computer Science at the University of Birmingham.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
CTR FOR STUDY OF LANG & INFO
Erscheinungsdatum
2001
Sprache
Englisch
ISBN 10 
1575863235
ISBN 13 
9781575863238
Einband
Gebundene Ausgabe
Anzahl der Seiten
200
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar