Conference
Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories.
Authors
Quaresma P; Janicic P
Editors
Borwein JM; Farmer WM
Series
Lecture Notes in Computer Science
Volume
4108
Pagination
pp. 280-294
Publisher
Springer
Publication Date
January 1, 2006
ISBN-10
3-540-37104-4
Conference proceedings
MKM