Reasoning about linkages with dynamic geometry
- Kovács, Z.
- Recio, T.
- Vélez, M.P.
Aldizkaria:
Journal of Symbolic Computation
ISSN: 0747-7171
Argitalpen urtea: 2020
Alea: 97
Orrialdeak: 16-30
Mota: Artikulua