{"product_id":"mathematical-reasoning-with-diagrams-9781575863245","title":"Mathematical Reasoning with Diagrams","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\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.","brand":"Centre for the Study of Language \u0026 Information","offers":[{"title":"Default Title","offer_id":49410307817815,"sku":"9781575863245","price":28.16,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/mathematical-reasoning-with-diagrams-9781575863245","provider":"Book Curl","version":"1.0","type":"link"}