Mathematical Reasoning With Diagrams: From Intuition to Automation - Couverture rigide

Jamnik, Mateja

 
9781575863238: Mathematical Reasoning With Diagrams: From Intuition to Automation
Couverture rigide
ISBN 10 : 1575863235 ISBN 13 : 9781575863238
Editeur : Centre for the Study of Language & Information, 2001

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

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

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Centre for the Study of Language & Information
Date d'édition
2001
Langue
anglais
ISBN 10 
1575863235
ISBN 13 
9781575863238
Reliure
Relié
Nombre de pages
200
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9781575863245: Mathematical Reasoning With Diagrams: From Intuition to Automation

Edition présentée

ISBN 10 :  1575863243 ISBN 13 :  9781575863245
Editeur : Centre for the Study of Language..., 2001
Couverture souple