Automatic Discovery of Theorems in Elementary Geometry

Authors
T.Recio,M.P.Velez
Citation
T.recio,m.p.velez, Automatic Discovery of Theorems in Elementary Geometry, Journal of automated reasoning , 23(1), 1999, pp. 63-82
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
23
Issue
1
Year of publication
1999
Pages
63 - 82
Database
ACNP
SICI code