The following pages link to (Q4187337):
Displayed 14 items.
- Obituary: Nicolaas Govert de Bruijn (1918--2012). Mathematician, computer scientist, logician (Q740456) (← links)
- N. G. de Bruijn's contribution to the formalization of mathematics (Q740481) (← links)
- An example of formalizing recent mathematical results in MIZAR (Q865630) (← links)
- Supporting the formal verification of mathematical texts (Q865656) (← links)
- On the syntax of Martin-Löf's type theories (Q1099173) (← links)
- The logical study of science (Q1164615) (← links)
- Revisiting the notion of function (Q1394989) (← links)
- Procedural representation of CIC proof terms (Q2655331) (← links)
- Computerizing Mathematical Text with MathLang (Q2866734) (← links)
- Automath and Pure Type Systems (Q4924545) (← links)
- A Formalization of Properties of Continuous Functions on Closed Intervals (Q5041063) (← links)
- Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL (Q5094474) (← links)
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic (Q5191100) (← links)
- Licensing the Mizar Mathematical Library (Q5200114) (← links)