Maximilian Doré

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 6

Top Topics

Boundary Extraction

Undergraduate Students

Reasoning Process

Top Venues

CSEDU (Selected Papers)

Publications

Maximilian Doré, Evan Cavallo, Anders Mörtberg
Automating Boundary Filling in Cubical Agda. CoRR (2024)
Maximilian Doré, Evan Cavallo, Anders Mörtberg
Automating Boundary Filling in Cubical Agda. FSCD (2024)
Maximilian Doré, Krysia Broda
Towards Intuitive Reasoning in Axiomatic Geometry. ThEdu@FLoC (2018)
Maximilian Doré, Krysia Broda
Intuitive Reasoning in Formalized Mathematics with Elfe. CSEDU (Selected Papers) (2018)
Maximilian Doré, Krysia Broda
The Elfe System - Verifying mathematical proofs of undergraduate students. CoRR (2018)
Maximilian Doré, Krysia Broda
The ELFE System - Verifying Mathematical Proofs of Undergraduate Students. CSEDU (2) (2018)