Computation, Proof, Machine. Mathematics Enters a New Age Submitted by Adhemar Bultheel | 17 / Aug / 2015 Read more about Computation, Proof, Machine. Mathematics Enters a New Age
Qualitative computing. A Computational Journey into Nonlinearity Submitted by Adhemar Bultheel | 21 / Nov / 2012 Read more about Qualitative computing. A Computational Journey into Nonlinearity
