{"product_id":"mathematical-reasoning-with-diagrams-9781575863238","title":"Mathematical Reasoning with Diagrams","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003eMathematicians 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.","brand":"Centre for the Study of Language \u0026 Information","offers":[{"title":"Default Title","offer_id":51041467400535,"sku":"9781575863238","price":60.94,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9781575863238.jpg?v=1750950392","url":"https:\/\/bookcurl.com\/products\/mathematical-reasoning-with-diagrams-9781575863238","provider":"Book Curl","version":"1.0","type":"link"}