Fr. 38.50

Mateja Jamnik

Mathematical Reasoning with Diagrams

English · Paperback / Softback

Shipping usually within 3 to 5 weeks (title will be specially ordered)

Description

Summary

Mathematicians at every level use diagrams to prove theorems. This book investigates the possibilities of mechanizing this sort of reasoning in a formal computer-proof system, and offers a semi-automatic proof system which allows users to prove theorems using diagrams.

Product details

Authors	Mateja Jamnik
Publisher	Centre for the Study of Language & Information

Languages	English
Product format	Paperback / Softback
Released	01.11.2001

EAN	9781575863245
ISBN	978-1-57586-324-5
No. of pages	200
Dimensions	15 mm x 23 mm x 1 mm
Weight	312 g
Series	Lecture Notes
Subject	Natural sciences, medicine, IT, technology > Mathematics > General, dictionaries

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.