The Automath mathematics checking project and its influence on teaching: contribution to the ICMI discussion on "The influence of computers and informatics on mathematics and its teaching", Strassbourg, 25-30 March, 1985

N.G. Bruijn, de

    Research output: Book/ReportReportPopular

    31 Downloads (Pure)
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Hogeschool Eindhoven
    Number of pages19
    Publication statusPublished - 1985

    Publication series

    NameEindhoven University of Technology : Dept of Mathematics : memorandum
    Volume8501

    Cite this

    Bruijn, de, N. G. (1985). The Automath mathematics checking project and its influence on teaching: contribution to the ICMI discussion on "The influence of computers and informatics on mathematics and its teaching", Strassbourg, 25-30 March, 1985. (Eindhoven University of Technology : Dept of Mathematics : memorandum; Vol. 8501). Eindhoven: Technische Hogeschool Eindhoven.
    Bruijn, de, N.G. / The Automath mathematics checking project and its influence on teaching : contribution to the ICMI discussion on "The influence of computers and informatics on mathematics and its teaching", Strassbourg, 25-30 March, 1985. Eindhoven : Technische Hogeschool Eindhoven, 1985. 19 p. (Eindhoven University of Technology : Dept of Mathematics : memorandum).
    @book{f69df6af52f84d14a6e1de94bfa83773,
    title = "The Automath mathematics checking project and its influence on teaching: contribution to the ICMI discussion on {"}The influence of computers and informatics on mathematics and its teaching{"}, Strassbourg, 25-30 March, 1985",
    author = "{Bruijn, de}, N.G.",
    year = "1985",
    language = "English",
    series = "Eindhoven University of Technology : Dept of Mathematics : memorandum",
    publisher = "Technische Hogeschool Eindhoven",

    }

    Bruijn, de, NG 1985, The Automath mathematics checking project and its influence on teaching: contribution to the ICMI discussion on "The influence of computers and informatics on mathematics and its teaching", Strassbourg, 25-30 March, 1985. Eindhoven University of Technology : Dept of Mathematics : memorandum, vol. 8501, Technische Hogeschool Eindhoven, Eindhoven.

    The Automath mathematics checking project and its influence on teaching : contribution to the ICMI discussion on "The influence of computers and informatics on mathematics and its teaching", Strassbourg, 25-30 March, 1985. / Bruijn, de, N.G.

    Eindhoven : Technische Hogeschool Eindhoven, 1985. 19 p. (Eindhoven University of Technology : Dept of Mathematics : memorandum; Vol. 8501).

    Research output: Book/ReportReportPopular

    TY - BOOK

    T1 - The Automath mathematics checking project and its influence on teaching

    T2 - contribution to the ICMI discussion on "The influence of computers and informatics on mathematics and its teaching", Strassbourg, 25-30 March, 1985

    AU - Bruijn, de, N.G.

    PY - 1985

    Y1 - 1985

    M3 - Report

    T3 - Eindhoven University of Technology : Dept of Mathematics : memorandum

    BT - The Automath mathematics checking project and its influence on teaching

    PB - Technische Hogeschool Eindhoven

    CY - Eindhoven

    ER -