Maximilian Doré

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Automating Boundary Filling in Cubical Agda.
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2018
Towards Intuitive Reasoning in Axiomatic Geometry.
Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018

Intuitive Reasoning in Formalized Mathematics with Elfe.
Proceedings of the Computer Supported Education - 10th International Conference, 2018

The ELFE System - Verifying Mathematical Proofs of Undergraduate Students.
Proceedings of the 10th International Conference on Computer Supported Education, 2018


  Loading...