Presentation of the book The Gröbner cover
automatic discovery of geometric theorems
scientific article; zbMATH DE number 7225433