The ForMaRE Project – Formal Mathematical Reasoning in Economics

DOI10.1007/978-3-642-39320-4_23zbMath1390.68578arXiv1303.4194OpenAlexW1666573805MaRDI QIDQ2843033

Christoph Lange, Colin Rowat, Manfred Kerber

Publication date: 9 August 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1303.4194

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to game theory, economics, and finance (91-04)

Related Items (1)

Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?

Uses Software

• Unnamed Item
• ForMaRE

This page was built for publication: The ForMaRE Project – Formal Mathematical Reasoning in Economics