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

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/Report › Report › Popular

46 Downloads (Pure)

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Hogeschool Eindhoven
Number of pages	19
Publication status	Published - 1985

Publication series

Name	Eindhoven University of Technology : Dept of Mathematics : memorandum
Volume	8501

Access to Document

598365Final published version, 626 KB

Cite this

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",

}

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/Report › Report › Popular

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 -