Representation and automated transformation of geometric statements
scientific article; zbMATH DE number 6391217