Checking mathematics with computer assistance

Research output: Contribution to journal › Article › Popular

336 Downloads (Pure)

Original language	English
Pages (from-to)	8-15
Journal	Notices of the American Mathematical Society
Volume	38
Issue number	1
Publication status	Published - 1991

Access to Document

@article{c9a67c6c67f04afb8c496500519375a4,

title = "Checking mathematics with computer assistance",

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

year = "1991",

language = "English",

volume = "38",

pages = "8--15",

journal = "Notices of the American Mathematical Society",

issn = "0002-9920",

publisher = "American Mathematical Society",

number = "1",

}