@inproceedings{CADE-1998-FleuriotP,
author = "Jacques D. Fleuriot and Lawrence C. Paulson",
booktitle = "{Proceedings of the 15th International Conference on Automated Deduction}",
ee = "http://link.springer.de/link/service/series/0558/bibs/1421/14210003.htm",
isbn = "3-540-64675-2",
pages = "3--16",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton’s Principia}",
volume = 1421,
year = 1998,
}

### Tags: