Description

Book 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.

Mathematical Reasoning with Diagrams

    Product form

    £49.40

    Includes FREE delivery

    RRP £52.00 – you save £2.60 (5%)

    Order before 4pm today for delivery by Fri 7 Aug 2026.

    A Hardback by Mateja Jamnik

    1 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Mathematical Reasoning with Diagrams by Mateja Jamnik

      Publisher: Centre for the Study of Language & Information
      Publication Date: Publication Date: 01/11/2001
      ISBN13: 9781575863238, 978-1575863238
      ISBN10: 1575863235
      Also in:
      Mathematical foundations

      Description

      Book 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.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account