Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

EISBN:9789811376696
PISBN:9789811376689
出版社:Springer Singapore
出版类型:Monograph
出版时间:2019
版次:1st ed. 2019
作者:Mitsuhiro T. Nakao,Michael Plum,Yoshitaka Watanabe
主题词:Mathematics,Numerical Analysis,Mathematical Applications in Computer Science,Partial Differential Equations
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Partial Differential Equations with Numerical Methods

  • 作者:Stig Larsson,Vidar Thomee
  • EISBN:9783540887065
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Numerical Methods for Partial Differential Equations

  • 作者:Ames,William
  • PISBN:9780080571300
  • 出版时间:Legacy

Numerical Methods for Partial Differential Equations

  • 作者:You-lan Zhu,Ben-yu Guo
  • EISBN:9783540481263
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1987

Numerical Methods for Partial Differential Equations

  • 作者:G. Evans,J. Blackledge,P. Yardley
  • EISBN:9781447103776
  • 出版社:Springer London
  • 出版时间:2000

Partial Differential Equations with Numerical Methods

  • 作者:Stig Larsson,Vidar Thomée
  • EISBN:9783540887065
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Numerical Methods for Partial Differential Equations

  • 作者:You-Ian Zhu,Ben-yu Guo
  • EISBN:9783540481263
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1987