From informal to formal proofs in Euclidean geometry.

Sana Stojanovic Durdevic

Published in: Ann. Math. Artif. Intell. (2019)

Keyphrases

formal proofs
euclidean geometry
feature selection
special case