Reasoning about linkages with dynamic geometry
- Kovács, Z.
- Recio, T.
- Vélez, M.P.
Revista:
Journal of Symbolic Computation
ISSN: 0747-7171
Any de publicació: 2020
Volum: 97
Pàgines: 16-30
Tipus: Article