Proceedings of TPHOLs 2005: 18th International Conference on Theorem Proving in Higher Order Logics. Springer LNCS 3603, pp. 114-129.

@INPROCEEDINGS{harrison-euclidean, author = JRH, title = "A {HOL} Theory of {E}uclidean space", booktitle = "Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005", editor = "Joe Hurd and Tom Melham", address = "Oxford, UK", date = "August 2005", publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", volume = 3603, year = 2005} pages = "114--129"}