Laura I. Meikle, Jacques D. Fleuriot. Mechanical Theorem Proving in Computational Geometry. In Hoon Hong, Dongming Wang, editors, Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers. Volume 3763 of Lecture Notes in Computer Science, pages 1-18, Springer, 2004. [doi]
@inproceedings{MeikleF04,
title = {Mechanical Theorem Proving in Computational Geometry},
author = {Laura I. Meikle and Jacques D. Fleuriot},
year = {2004},
doi = {10.1007/11615798_1},
url = {http://dx.doi.org/10.1007/11615798_1},
researchr = {https://researchr.org/publication/MeikleF04},
cites = {0},
citedby = {0},
pages = {1-18},
booktitle = {Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers},
editor = {Hoon Hong and Dongming Wang},
volume = {3763},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-31332-X},
}