Checking mathematics with the aid of a computer

N.G. Bruijn, de

Checking mathematics with the aid of a computer

N.G. Bruijn, de

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Popular

178 Downloads (Pure)

Original language	English
Title of host publication	The Influence of computers and informatics on mathematics and its teaching / ed. by R.F. Churchhouse, B. Cornu, A.G. Howson ... [et al.]
Place of Publication	Cambridge
Publisher	Cambridge University Press
Pages	61-68
ISBN (Print)	0-521-32402-5
Publication status	Published - 1986

Publication series

Name	ICMI Study Series

Access to Document

598783Final published version, 745 KB

Cite this

@inbook{277018a8f49f49b5b1cd35c483ca2108,

title = "Checking mathematics with the aid of a computer",

author = "\{Bruijn, de\}, N.G.",

year = "1986",

language = "English",

isbn = "0-521-32402-5",

series = "ICMI Study Series",

publisher = "Cambridge University Press",

pages = "61--68",

booktitle = "The Influence of computers and informatics on mathematics and its teaching / ed. by R.F. Churchhouse, B. Cornu, A.G. Howson ... [et al.]",

address = "United Kingdom",

}

TY - CHAP

T1 - Checking mathematics with the aid of a computer

AU - Bruijn, de, N.G.

PY - 1986

Y1 - 1986

M3 - Chapter

SN - 0-521-32402-5

T3 - ICMI Study Series

SP - 61

EP - 68

BT - The Influence of computers and informatics on mathematics and its teaching / ed. by R.F. Churchhouse, B. Cornu, A.G. Howson ... [et al.]

PB - Cambridge University Press

CY - Cambridge

ER -