An Introduction to Automated Discovery in Geometry through Symbolic Computation (Q2912124)

From MaRDI portal
Revision as of 09:01, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
An Introduction to Automated Discovery in Geometry through Symbolic Computation
scientific article

    Statements

    An Introduction to Automated Discovery in Geometry through Symbolic Computation (English)
    0 references
    0 references
    0 references
    14 September 2012
    0 references
    automated discovery
    0 references
    elementary geometry
    0 references

    Identifiers