Intelligent geometry tools
- Davenport, J.
- Fleuriot, J.
- Quaresma, P.
- Recio, T.
- Wang, D.
Proceedings:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Year of publication: 2019
Volume: 311
Pages: 51-52
Type: Conference paper