Reasoning about linkages with dynamic geometry

Autor: Kovács, Zoltán, Recio, Tomás, Vélez, M. Pilar
Zdroj: In Journal of Symbolic Computation March-April 2020 97:16-30
Databáze: ScienceDirect