A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry (Q5168482)
From MaRDI portal
scientific article; zbMATH DE number 6313916
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry |
scientific article; zbMATH DE number 6313916 |
Statements
A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry (English)
0 references
7 July 2014
0 references
mechanical theorem proving in geometry
0 references
ideal theory
0 references
radical ideal
0 references
