Computer-assisted human-oriented inductive theorem proving by descente infinie--a manifesto (Q4913999)

From MaRDI portal
scientific article; zbMATH DE number 6154946
Language Label Description Also known as
English
Computer-assisted human-oriented inductive theorem proving by descente infinie--a manifesto
scientific article; zbMATH DE number 6154946

    Statements

    Computer-assisted human-oriented inductive theorem proving by descente infinie--a manifesto (English)
    0 references
    0 references
    17 April 2013
    0 references
    automated theorem proving
    0 references
    human-oriented theorem proving
    0 references
    mathematical induction
    0 references
    Fermat's descente infinie
    0 references
    recursion analysis
    0 references
    rippling
    0 references
    proof planning
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers