Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen

Numerical Verification Methods and Computer-Assisted Proofs f... - 9789811376719

Numerical Verification Methods and Computer-Assisted Proofs f... - 9789811376689

Numerical Methods - Germund Dahlquist and Ake Bjorck - Prentice Hall - HC/DJ

Numerical Solution of Partial Differential Equations by J. Bramble 1966 HC / DJ

Numerical Verification Methods and Computer-Assisted Proofs for Partial by Nakao

Fourier Series and Numerical Methods for Partial Differential Equations, Bernatz

Numerical Methods for Ordinary Differential Equations By Butcher