Projections in n-dimensional Euclidean space to each coordinates (1997)

by Roman Matuszewski, Yatsuka Nakamura
Venue:Journal of Formalized Mathematics