A HOL theory of Euclidean space. In Theorem proving in higher order logics (2005)

by J Harrison
Venue:of Lecture Notes in Comput. Sci