ForMaRE项目——经济学中的形式数学推理
计算工程、金融与科学
2013-05-21 v3 计算机科学中的逻辑
摘要
ForMaRE项目将形式数学推理应用于经济学。我们旨在增加对经济学理论结果的信心，帮助发现新结果，并在经济学中培养对形式方法（即计算机辅助推理）的兴趣。对于形式方法，我们力求贡献来自新受众的用户体验反馈，以及新的挑战问题。在项目的第一年，我们继续了早期的博弈论研究，但随后专注于拍卖，我们正在构建一个形式化工具箱，并已开始研究匹配和金融风险。在进行连接经济学和形式方法的研究的同时，我们组织活动并提供基础设施来连接两个社区，从促进相互意识到有针对性的匹配。这些努力超越了经济学，旨在使领域专家能够普遍使用机械化推理。
引用
@article{arxiv.1303.4194,
title = {The ForMaRE Project - Formal Mathematical Reasoning in Economics},
author = {Christoph Lange and Colin Rowat and Manfred Kerber},
journal= {arXiv preprint arXiv:1303.4194},
year = {2013}
}
备注
Conference on Intelligent Computer Mathematics, 8--12 July, Bath, UK. Published as number 7961 in Lecture Notes in Artificial Intelligence, Springer