Automated reducible geometric theorem proving and discovery by Gröbner basis method
scientific article; zbMATH DE number 6842148
scientific article