Author: Jamnik, Mateja
Title: Mathematical reasoning with diagrams : from intuition to automation
Description: Stanford, Calif.: CSLI, 2001. Paperback. 204 pp. English text. Condition : as new.Includes bibliographical references (p. 190-198) and index. - 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. Mailorder only - Alleen verzending mogelijk. Book condition : as new. ISBN 9781575863245.

Keywords: ,