research
∙
04/01/2019
Towards Intuitive Reasoning in Axiomatic Geometry
Proving lemmas in synthetic geometry is often a time-consuming endeavour...
share
research
∙
01/31/2018
