Maximilian Doré

According to our database¹, Maximilian Doré authored at least 4 papers between 2018 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Automating Boundary Filling in Cubical Agda.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2018

Towards Intuitive Reasoning in Axiomatic Geometry.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018

Intuitive Reasoning in Formalized Mathematics with Elfe.

[BibT_eX]

[DOI]

Proceedings of the Computer Supported Education - 10th International Conference, 2018

The ELFE System - Verifying Mathematical Proofs of Undergraduate Students.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Computer Supported Education, 2018