{"product_id":"9781575863245","title":"Mathematical Reasoning with Diagrams: From Intuition to Automation","description":"\u003cp\u003eMathematicians at every level use diagrams to prove theorems. \u003ci\u003eMathematical Reasoning with Diagrams\u003c\/i\u003e 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.\u003c\/p\u003e","brand":"Center for the Study of Language and Inf","offers":[{"title":"Default Title","offer_id":47055037432048,"sku":"9781575863245","price":27.0,"currency_code":"USD","in_stock":false}],"url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9781575863245","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}