A maple package for automatic theorem proving and discovery in 3D-geometry
- Roanes-Macías, E.
- Roanes-Lozano, E.
ISSN: 0302-9743, 1611-3349
ISBN: 9783540773559
Ano de publicación: 2007
Volume: 4869 LNAI
Páxinas: 171-188
Tipo: Achega congreso
ISSN: 0302-9743, 1611-3349
ISBN: 9783540773559
Ano de publicación: 2007
Volume: 4869 LNAI
Páxinas: 171-188
Tipo: Achega congreso