External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The ForMaRE Project - Formal Mathematical Reasoning in Economics

Christoph Lange 0002, Colin Rowat, Manfred Kerber. The ForMaRE Project - Formal Mathematical Reasoning in Economics. In Jacques Carette, David Aspinall, Christoph Lange 0002, Petr Sojka, Wolfgang Windsteiger, editors, Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Volume 7961 of Lecture Notes in Computer Science, pages 330-334, Springer, 2013. [doi]

Authors

Christoph Lange 0002

This author has not been identified. Look up 'Christoph Lange 0002' in Google

Colin Rowat

This author has not been identified. Look up 'Colin Rowat' in Google

Manfred Kerber

This author has not been identified. Look up 'Manfred Kerber' in Google
runs on