Formalizing mathematics in higher-order logic: A case study in geometric modelling (Q1575663)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formalizing mathematics in higher-order logic: A case study in geometric modelling
scientific article

    Statements

    Formalizing mathematics in higher-order logic: A case study in geometric modelling (English)
    0 references
    0 references
    0 references
    21 August 2000
    0 references
    0 references
    formal specifications
    0 references
    theorem proving
    0 references
    inductive proofs
    0 references
    program extraction
    0 references
    geometric modelling
    0 references
    coq
    0 references
    0 references