Towards a geometry deductive database prover
scientific article; zbMATH DE number 7785123