A dynamic-symbolic interface for geometric theorem discovery
- Botana, F.
- Valcarce, J.L.
ISSN: 0360-1315
Year of publication: 2002
Volume: 38
Issue: 1-3
Pages: 21-35
Type: Conference paper
ISSN: 0360-1315
Year of publication: 2002
Volume: 38
Issue: 1-3
Pages: 21-35
Type: Conference paper