From informal to formal proofs in Euclidean geometry - Stojanović-Ðurđević, Sana (Annals of mathematics and artificial intelligence, 2019)
Keywords: Artificial Intelligence; Automation; Complex Systems; Computer Science; Euclidean geometry; Geometry; Language; Logic; Mathematics; Natural language; Secondary schools; Textbooks; Theorem proving; Theorems; Euclidean geometry; 68T15; Informal proofs; Coherent logic; Interactive theorem proving; Automated theorem proving; 03B35