Botana, Francisco (ed.); Kovács, Zoltán (ed.); Recio, Tomas (ed.) Special issue on dynamic geometry and automated reasoning. (English) Zbl 1425.00107 J. Symb. Comput. 97, 1-2 (2020). MSC: 00B15 Collections of articles of miscellaneous specific interest 68-06 Proceedings, conferences, collections, etc. pertaining to computer science PDF BibTeX XML Cite \textit{F. Botana} (ed.) et al., J. Symb. Comput. 97, 1--2 (2020; Zbl 1425.00107) Full Text: DOI