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 |
Externí odkaz: |
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 |
Externí odkaz: |