Towards an Automated Geometer

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99957-9_15 ◽

2018 ◽

pp. 215-220 ◽

Cited By ~ 1

Author(s):

Francisco Botana ◽

Zoltán Kovács ◽

Tomás Recio

Download Full-text