1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2019★ 1 cited
Towards Intuitive Reasoning in Axiomatic Geometry
Maximilian Doré, Krysia Broda
Proving lemmas in synthetic geometry is often a time-consuming endeavour since many intermediate lemmas need to be proven before interesting results can be obtained. Improvements i…
cs.LO2018
The Elfe System - Verifying mathematical proofs of undergraduate students
Maximilian Doré, Krysia Broda
Elfe is an interactive system for teaching basic proof methods in discrete mathematics. The user inputs a mathematical text written in fair English which is converted to a special…