scientific article; zbMATH DE number 1163428
From MaRDI portal
Publication:4394960
Recommendations
Cited in
(22)- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry.
- Automated reducible geometric theorem proving and discovery by Gröbner basis method
- Geometric characterization of data sets with unique reduced Gröbner bases
- Generalizing the Steiner-Lehmus theorem using the Gröbner cover
- Theorem proving for and with Gröbner bases theory
- Towards the Automatic Discovery of Theorems in GeoGebra
- scientific article; zbMATH DE number 2177625 (Why is no real title available?)
- On one method of proving inequalities in automated way
- scientific article; zbMATH DE number 1189068 (Why is no real title available?)
- scientific article; zbMATH DE number 1263333 (Why is no real title available?)
- scientific article; zbMATH DE number 1788245 (Why is no real title available?)
- scientific article; zbMATH DE number 1912102 (Why is no real title available?)
- scientific article; zbMATH DE number 835749 (Why is no real title available?)
- scientific article; zbMATH DE number 1390433 (Why is no real title available?)
- scientific article; zbMATH DE number 4197462 (Why is no real title available?)
- scientific article; zbMATH DE number 2203381 (Why is no real title available?)
- scientific article; zbMATH DE number 5221779 (Why is no real title available?)
- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
- On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons
- Automated Deduction in Geometry
- Mechanical geometry theorem proving based on Gröbner bases
- On protocols for the automated discovery of theorems in elementary geometry
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4394960)
