{"product_id":"mathematical-reasoning-with-diagrams-1","title":"Mathematical Reasoning with Diagrams","description":"Mathematicians 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":54222189822296,"sku":"9781575863245","price":27.5,"currency_code":"EUR","in_stock":true}],"url":"https:\/\/agendabookshop.com\/products\/mathematical-reasoning-with-diagrams-1","provider":"Agenda Bookshop","version":"1.0","type":"link"}