Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories (Q5756763)

From MaRDI portal
scientific article; zbMATH DE number 5187445
Language Label Description Also known as
English
Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
scientific article; zbMATH DE number 5187445

    Statements

    Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories (English)
    0 references
    0 references
    0 references
    5 September 2007
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers