zbMATH — the first resource for mathematics

The ForMaRE project – formal mathematical reasoning in economics. (English) Zbl 1390.68578
Carette, Jacques (ed.) et al., Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence, 330-334 (2013).
Summary: The ForMaRE project applies formal mathematical reasoning to economics. We seek to increase confidence in economics’ theoretical results, to aid in discovering new results, and to foster interest in formal methods, i.e. computer-aided reasoning, within economics. To formal methods, we seek to contribute user experience feedback from new audiences, as well as new challenge problems. In the first project year, we continued earlier game theory studies but then focused on auctions, where we are building a toolbox of formalisations, and have started to study matching and financial risk. In parallel to conducting research that connects economics and formal methods, we organise events and provide infrastructure to connect both communities, from fostering mutual awareness to targeted matchmaking. These efforts extend beyond economics, towards generally enabling domain experts to use mechanised reasoning.
For the entire collection see [Zbl 1268.68008].

68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
91-04 Software, source code, etc. for problems pertaining to game theory, economics, and finance
ForMaRE; Theorema
Full Text: DOI