Skip your Account's links

$ USD

Advanced search

0 items

$0.00
  • Your basket
  • The RRP is the suggested or Recommended Retail Price of a product, set by the publisher or manufacturer.

  • View basket

  • Your basket is empty

  • Delivery included on your order!

  • View basket

Skip Navigation and go to main content

Delivery included to the United States

Mathematical Reasoning With Diagrams

Mathematical Reasoning With Diagrams From Intuition to Automation - Lecture Notes

Paperback (04 Feb 2002)

  • $35.81
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 2-3 weeks

Check stock

    Publisher's 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.

    Book information

    ISBN: 9781575863245
    Publisher: Center for the Study of Language and Inf
    Imprint: CSLI Publications
    Pub date:
    DEWEY: 511.3
    DEWEY edition: 21
    Language: English
    Number of pages: 204
    Weight: 312g
    Height: 23mm
    Width: 15mm
    Spine width: 1mm

    We recommend

    $3.97off

    Add to basket

    $6.16off

    Mathematica

    David Bessis (author...

    Hardback
    Published 28 May 2024

    Save $6.16

    • RRP $34.70
    • $28.54
    Add to basket

    $1.75off

    Vector

    Robyn Arianrhod

    Hardback
    Published 07 Jun 2024

    Save $1.75

    • RRP $31.92
    • $30.17
    Add to basket
    Add to basket

    $0.19off

    Add to basket
    Add to basket

    $3.38off

    How to Prove It

    Daniel J. Velleman

    Paperback
    Published 18 Jul 2019

    Save $3.38

    • RRP $51.35
    • $47.97
    Add to basket
    Add to basket
    Calculus

    Michael Spivak

    Hardback
    Published 08 Jun 2006

    • $69.27
    Add to basket
    Humble Pi

    Matt Parker

    Paperback
    Published 05 Mar 2020

    • $15.86
    Add to basket