Browsing by Subject Synthetic geometry

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)Rank
1-Dec-2023Automated generation of illustrated proofs in geometry and beyondJaničić, Predrag ; Narboux, JulienM22