An Introduction to Automated Discovery in Geometry through Symbolic Computation
- Recio, Tomas
- Velez, Maria P.
- Langer, U (coord.)
- Paule, P (coord.)
ISSN: 0943-853X
ISBN: 978-3-7091-0793-5, 978-3-7091-0794-2
Año de publicación: 2012
Páginas: 257-271
Tipo: Capítulo de Libro