國立高雄大學圖資館 |

Language: English

Back

Numerical verification methods and c...

Nakao, Mitsuhiro T.

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Numerical verification methods and computer-assisted proofs for partial differential equationsby Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.
Author:	Nakao, Mitsuhiro T.
other author:	Plum, Michael.
Published:	Singapore :Springer Singapore :2019.
Description:	xiii, 467 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Differential equations, Partial.
Online resource:	https://doi.org/10.1007/978-981-13-7669-6
ISBN:	9789811376696$q(electronic bk.)

Numerical verification methods and computer-assisted proofs for partial differential equations
Nakao, Mitsuhiro T.

Numerical verification methods and computer-assisted proofs for partial differential equations[electronic resource] /by Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe. - Singapore :Springer Singapore :2019. - xiii, 467 p. :ill. (some col.), digital ;24 cm. - Springer series in computational mathematics,v.530179-3632 ;. - Springer series in computational mathematics ;42..

ISBN: 9789811376696$q(electronic bk.)

Standard No.: 10.1007/978-981-13-7669-6doiSubjects--Topical Terms:

189753
Differential equations, Partial.

LC Class. No.: QA377 / .N35 2019

Dewey Class. No.: 515.353

Numerical verification methods and computer-assisted proofs for partial differential equations
LDR:01113nmm a2200313 a 4500 001 569655
003 DE-He213
005 20191111195516.0
006 m d
007 cr nn 008maaau
008 200723s2019 si s 0 eng d
020 $a 9789811376696$q(electronic bk.)
020 $a 9789811376689$q(paper)
024 7 $a 10.1007/978-981-13-7669-6 $2 doi
035 $a 978-981-13-7669-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA377 $b .N35 2019
072 7 $a PBKS $2 bicssc
072 7 $a MAT021000 $2 bisacsh
072 7 $a PBKS $2 thema
082 0 4 $a 515.353 $2 23
090 $a QA377 $b .N163 2019
100 1 $a Nakao, Mitsuhiro T. $3 855752
245 1 0 $a Numerical verification methods and computer-assisted proofs for partial differential equations $h [electronic resource] / $c by Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.
260 $a Singapore : $b Springer Singapore : $b Imprint: Springer, $c 2019.
300 $a xiii, 467 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Springer series in computational mathematics, $x 0179-3632 ; $v v.53
650 0 $a Differential equations, Partial. $3 189753
650 0 $a Automatic theorem proving. $3 206222
650 0 $a Numerical calculations $x Verification. $3 582292
650 1 4 $a Numerical Analysis. $3 275681
650 2 4 $a Mathematical Applications in Computer Science. $3 530811
650 2 4 $a Partial Differential Equations. $3 274075
700 1 $a Plum, Michael. $3 855753
700 1 $a Watanabe, Yoshitaka. $3 855754
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Springer series in computational mathematics ; $v 42. $3 560664
856 4 0 $u https://doi.org/10.1007/978-981-13-7669-6
950 $a Mathematics and Statistics (Springer-11649)