TPS: A hybrid automatic-interactive system for developing proofs (Q865629)

From MaRDI portal
scientific article
Language Label Description Also known as
English
TPS: A hybrid automatic-interactive system for developing proofs
scientific article

    Statements

    TPS: A hybrid automatic-interactive system for developing proofs (English)
    0 references
    0 references
    0 references
    20 February 2007
    0 references
    0 references
    TPS
    0 references
    theorem proving system
    0 references
    automatic proofs
    0 references
    semi-automatic proofs
    0 references
    semi-interactive proofs
    0 references
    interactive proofs
    0 references
    type theory
    0 references
    higher-order logic
    0 references
    first-order logic
    0 references
    automating mathematics
    0 references
    mathematics assistance system
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references