The surveyability of long proofs (Q2271073)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The surveyability of long proofs
scientific article

    Statements

    The surveyability of long proofs (English)
    0 references
    0 references
    6 August 2009
    0 references
    mathematical practice
    0 references
    mathematical proof
    0 references
    surveyability
    0 references
    written discourse
    0 references

    Identifiers