Automated deduction and knowledge management in geometry
scientific article; zbMATH DE number 7315540
scientific article