scientific article; zbMATH DE number 1163428
From MaRDI portal
Publication:4394960
zbMath0898.68076MaRDI QIDQ4394960
Publication date: 10 August 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (max. 100)
On protocols for the automated discovery of theorems in elementary geometry ⋮ Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. ⋮ 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 ⋮ Towards the Automatic Discovery of Theorems in GeoGebra ⋮ On One Method of Proving Inequalities in Automated Way
This page was built for publication:
