Le Thi, Hoai An; Pham Dinh, Tao DC programming and DCA: thirty years of developments. (English) Zbl 1387.90197 Math. Program. 169, No. 1 (B), 5-68 (2018). MSC: 90C26 90-02 90-03 01A60 01A61 90C90 × Cite Format Result Cite Review PDF Full Text: DOI
Geuvers, Herman; Nederpelt, Rob N. G. de Bruijn’s contribution to the formalization of mathematics. (English) Zbl 1359.03003 Indag. Math., New Ser. 24, No. 4, 1034-1049 (2013). MSC: 03-03 03B35 03B40 01A70 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Dechesne, Francien; Nederpelt, Rob N. G. de Bruijn (1918–2012) and his road to Automath, the earliest proof checker. (English) Zbl 1257.01016 Math. Intell. 34, No. 4, 4-11 (2012). MSC: 01A70 01A60 68-03 × Cite Format Result Cite Review PDF Full Text: DOI