Thirty-five years of automating mathematics. Dedicated to 35 years of de Bruijn's Automath

MaRDI QIDQ701700zbMATH OpenFDO

Authors

Publication date 16 December 2004

Published in Applied Logic Series (Search for Journal in Brave)

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(4)

• Obituary: Nicolaas Govert de Bruijn (1918--2012). Mathematician, computer scientist, logician
• The middle ground-ancestral logic
• N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker
• Applicable mathematics in a minimal computational theory of sets

Describes a project that uses

Uses Software

• Automath

This page was built for publication: Thirty-five years of automating mathematics. Dedicated to 35 years of de Bruijn's Automath

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q701700)