Theorem proving in infinitesimal geometry (Q2720298)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Theorem proving in infinitesimal geometry
scientific article

    Statements

    Theorem proving in infinitesimal geometry (English)
    0 references
    26 June 2001
    0 references
    infinitesimal geometry
    0 references
    nonstandard analysis
    0 references
    hyperreals
    0 references
    theorem proving
    0 references
    higher-order logic
    0 references
    algebraic geometry theory
    0 references
    Isabelle
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references