| http://www.w3.org/ns/prov#value | - But de Bruijn was a mathematician first and foremost, as evidenced by the many mathematical notions and results that bear his name, among them de Bruijn (...) sequences, de Bruin graphs, the de Bruijn-Newman constant, and the de Bruijn-Erd??. (shrink)Philosophy of Mathematics Translate to English | Direct download My bibliography Export citation Jeremy Avigad, Algebraic Proofs of Cut Elimination.s
|
