![](/img/cover-not-exists.png)
Special issue on dynamic geometry and automated reasoning
Botana, Francisco, Kovács, Zoltán, Recio, TomasVolume:
97
Language:
english
Journal:
Journal of Symbolic Computation
DOI:
10.1016/j.jsc.2018.12.001
Date:
March, 2020
File:
PDF, 148 KB
english, 2020