On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons (Q5453490)

From MaRDI portal
Revision as of 01:43, 20 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article; zbMATH DE number 5256461
Language Label Description Also known as
English
On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons
scientific article; zbMATH DE number 5256461

    Statements

    On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons (English)
    0 references
    0 references
    1 April 2008
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references