Numerical verification methods and computer-assisted proofs for partial differential equations

• 作者： Nakao, Mitsuhiro T., author.
• 其他作者：
  • Plum, Michael, author.
  • Watanabe, Yoshitaka, author.
  • SpringerLink (Online service)
• 其他題名：
  • Springer series in computational mathematics ;
• 出版： Singapore : Springer Singapore :Imprint: Springer
• 叢書名： Springer series in computational mathematics,volume 53
• 主題： Differential equations, Partial. , Automatic theorem proving. , Numerical calculations--Verification. , Numerical Analysis. , Mathematical Applications in Computer Science. , Partial Differential Equations.
• ISBN： 9789811376696 (electronic bk.) 、 9789811376689 (paper)
• FIND@SFXID: CGU
• 資料類型: 電子書
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: