10% OFF

Mathematical Reasoning With Diagrams

by Mateja Jamnik
language: english
Publisher: CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION, November of 2001 ‧
70,30€
10% OFF CARD
free shipping
Sell ​​your book
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 formal proof system which allows users to prove theorems using diagrams.

Mathematical Reasoning With Diagrams

by Mateja Jamnik

Property Description
ISBN: 9781575863238
Publisher: CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION
Release Date: November of 2001
Language: English
Dimensions: 15 x 23 x 2 mm
Cover: Hardcover
Pages: 200
Format: Book
Collection: Lecture Notes
Categories: Books in English > Science > Mathematics
Books in English > Others
EAN: 9781575863238

BOOKS FROM THE SAME COLLECTION