QED reloaded: Towards a pluralistic formal library of mathematical knowledge

Kohlhase M, Rabe F (2016)

Publication Status: Published

Publication Type: Journal article, Original article

Publication year: 2016

Journal

Journal of Formalized Reasoning CIB - University of Bologna

Publisher: University of Bologna

Book Volume: 9

Pages Range: 201-234

Journal Issue: 1

URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-84957079748&origin=inward

Authors with CRIS profile

Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung Florian Rabe Professur für Wissensrepräsentation und -verarbeitung

Related research project(s)

An Open Archive of Formalizations (OAF) Jan. 1, 2014 - June 30, 2020

How to cite

APA:

Kohlhase, M., & Rabe, F. (2016). QED reloaded: Towards a pluralistic formal library of mathematical knowledge. Journal of Formalized Reasoning, 9(1), 201-234.

MLA:

Kohlhase, Michael, and Florian Rabe. "QED reloaded: Towards a pluralistic formal library of mathematical knowledge." Journal of Formalized Reasoning 9.1 (2016): 201-234.

BibTeX: Download