Florian Rabe
Friedrich-Alexander-Universität Erlangen-Nürnberg
H-index: 23
Europe-Germany
Top articles of Florian Rabe
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Automated mathematics: integrating proofs, algorithms and data | Andrej Bauer Katja Berčič Florian Rabe Nicolas Thiéry Jure Taslak | 2024/4 | |
Theorem Proving in Dependently-Typed Higher-Order Logic | Colin Rothgang Florian Rabe Christoph Benzmüller | 2023/7/1 | |
The potential of answer classes in large-scale written computer-science exams | Proceedings of the 10th Symposium on Computer Science in Higher Education HDI | Dominic Lohr Marc Berges Michael Kohlhase Florian Rabe | 2023 |
Morphism Equality in Theory Graphs | Florian Rabe Franziska Weber | 2023/8/28 | |
Extracting Theory Graphs from Aldor Libraries | Florian Rabe Stephen M Watt | 2023/8/28 | |
Three case studies on realms | Intelligent Computer Mathematics, Informal Proceedings | Florian Rabe Franziska Weber | 2022/8 |
Big math and the one-brain barrier: The tetrapod model of mathematical knowledge | The Mathematical Intelligencer | Jacques Carette William M Farmer Michael Kohlhase Florian Rabe | 2021/3 |
Results of the First Phase of the OAF Project | Michael Kohlhase Florian Rabe | 2021/1/18 | |
A new export of the Mizar Mathematical Library | Colin Rothgang Artur Korniłowicz Florian Rabe | 2021 | |
A Language with Type-Dependent Equality | Florian Rabe | 2021 | |
Experiences from exporting major proof assistant libraries | Journal of Automated Reasoning | Michael Kohlhase Florian Rabe | 2021/12 |
Structure-Preserving Diagram Operators | Navid Roux Florian Rabe | 2021 | |
Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style | arXiv preprint arXiv:2107.07665 | Florian Rabe Navid Roux | 2021/7/16 |
Towards a heterogeneous query language for mathematical knowledge | Katja Berčič Michael Kohlhase Florian Rabe | 2020/7/17 | |
JACQUES CARETTE, WILLIAM M. FARMER | MICHAEL KOHLHASE FLORIAN RABE | 2020 | |
(Deep) FAIR mathematics | it-Information Technology | Katja Berčič Michael Kohlhase Florian Rabe | 2020/2/25 |
Representing structural language features in formal meta-languages | Dennis Müller Florian Rabe Colin Rothgang Michael Kohlhase | 2020/7/17 | |
The Space of Mathematical Software Systems--A Survey of Paradigmatic Systems | arXiv preprint arXiv:2002.04955 | Katja Bercic Jacques Carette William M Farmer Michael Kohlhase Dennis Müller | 2020/2/12 |
TGView3D: a system for 3-dimensional visualization of theory graphs | Richard Marcus Michael Kohlhase Florian Rabe | 2020/7/17 | |
PhD Research Proposal by Jonas Betzendahl January 7, 2020 | Michael Kohlhase Florian Rabe | 2020/1/7 |