36 citations · 57 across the 9 of their papers we have counts for
1 paper · 1 filter
Christoph Lange, Colin Rowat, Manfred Kerber
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…