Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations (Springer Series in Computational Mathematics)
by Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe
ISBN 13: 9789811376689
Format: Hardcover (300 pages) Publisher: Springer Published: 28 Sep 2019
Save for later
Inequalities and Applications 2010: Dedicated to the Memory of Wolfgang Walter: 161 (International Series of Numerical Mathematics)
by Catherine Bandle,Attila Gilányi,László Losonczi,Michael Plum
ISBN 13: 9783034808095
Format: Paperback (344 pages) Publisher: Birkhäuser Published: 11 Jun 2014
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations: 53 (Springer Series in Computational Mathematics, 53)
by Mitsuhiro T. Nakao,Michael Plum,Yoshitaka Watanabe
ISBN 13: 9789811376719
Format: Paperback (480 pages) Publisher: Springer Published: 20 Nov 2020