On protocols for the automated discovery of theorems in elementary geometry (Q846167): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
(2 intermediate revisions by one other user not shown)
Property / DOI
 
Property / DOI: 10.1007/s10817-009-9133-x / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1007/S10817-009-9133-X / rank
 
Normal rank

Latest revision as of 05:06, 10 December 2024

scientific article
Language Label Description Also known as
English
On protocols for the automated discovery of theorems in elementary geometry
scientific article

    Statements

    On protocols for the automated discovery of theorems in elementary geometry (English)
    0 references
    1 February 2010
    0 references
    automatic theorem proving
    0 references
    automatic theorem discovery
    0 references
    elementary geometry
    0 references
    computational algebraic geometry
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers