{"product_id":"9781575863245-mathematical-reasoning-with-diagrams","title":"Mathematical Reasoning with Diagrams","description":"\u003cmeta content=\"text\/html; charset=utf-8\" http-equiv=\"Content-Type\"\u003e\u003cp\u003e\u003cspan\u003eMathematicians at every level use diagrams to prove theorems. This book investigates the possibilities of mechanizing this sort of reasoning in a formal computer-proof system, and offers a semi-automatic proof system which allows users to prove theorems using diagrams.\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.\u003cbr\u003e\u003cbr\u003e\u003c\/span\u003e\u003c\/p\u003e","brand":"Rarewaves","offers":[{"title":"Default Title","offer_id":57236622901622,"sku":"9781575863245","price":24.47,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/www.rarewaves.com\/products\/9781575863245-mathematical-reasoning-with-diagrams","provider":"Rarewaves.com","version":"1.0","type":"link"}