Mathematical Reasoning with Diagrams: Volume 127 (Center for the Study of Language and Information - Lecture Notes, Band 127) - Softcover

Jamnik, Mateja

 
9781575863245: Mathematical Reasoning with Diagrams: Volume 127 (Center for the Study of Language and Information - Lecture Notes, Band 127)
Softcover
ISBN 10: 1575863243 ISBN 13: 9781575863245
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 
1575863243
ISBN 13 
9781575863245
Einband
Taschenbuch
Anzahl der Seiten
200
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  1575863235 ISBN 13:  9781575863238
Verlag: CTR FOR STUDY OF LANG & INFO, 2001
Hardcover