An experiment concerning mathematical proofs on computers with French undergraduate students (Q1884267)

From MaRDI portal
Revision as of 19:53, 28 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
An experiment concerning mathematical proofs on computers with French undergraduate students
scientific article

    Statements

    An experiment concerning mathematical proofs on computers with French undergraduate students (English)
    0 references
    0 references
    0 references
    28 October 2004
    0 references
    Report on the results of using the proof assistant PhoX in a training course in mathematical reasoning at the University of Chambéry (France).
    0 references
    proof assistant PhoX
    0 references

    Identifiers