"Mechanical Theorem Proving in Geometries - Basic Principles."

Wu Wen-Tsün (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics