scientific article; zbMATH DE number 3278867

MaRDI QIDQ5563103zbMATH OpenFDO

Authors N. G. de Bruijn

Publication date 1968

zbMATH Keywords

numerical analysis

Cited in

(5)

• Algorithmic theories of problems. A constructive and a non-constructive approach
• On preserving the computational content of mathematical proofs: toy examples for a formalising strategy
• Automath and Pure Type Systems
• From realizability to induction via dependent intersection
• Large-scale formal proof for the working mathematician -- lessons learnt from the ALEXANDRIA project

This page was built for publication:

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