本文に飛ぶ

年 〜
年

検索結果 10 件

Numerical verification methods and computer-assisted proofs for partial differential equations (Springer series in computational mathematics ; volume 53)

Numerical verification methods and computer-assisted proofs for partial differential equations (Springer series in computational mathematics ; volume 53)
紙図書
Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.Springer[2019]<MA117-D2>
国立国会図書館

Accuracy verification methods : theory and algorithms

Accuracy verification methods : theory and algorithms
紙図書
Olli Mali, Pekka Neittaanmäki, Sergey RepinSpringerc2014
全国の図書館
  • 件名Numerical calculations -- Verification Mathematical models
  • 件名（識別子）Numerical calculations -- Verification Mathematical models

Validated numerics : a short introduction to rigorous computations : hardcover

Validated numerics : a short introduction to rigorous computations : hardcover
紙図書
Warwick TuckerPrinceton University Pressc2011
全国の図書館
  • 件名Numerical calculations -- Verification Science -- Data processing
  • 件名（識別子）Numerical calculations -- Verification Science -- Data processing

Verification and validation of 3D free-surface flow models

Verification and validation of 3D free-surface flow models
紙図書
sponsored by Task Committee on 3D Free-Surface Flow Model Verification and Validation, Environmental and Water Resources Institute (EWRI) of the American Society of Civil Engineers ; edited by Sam S.Y. Wang ... [et al.]American Society of Civil Engineersc2009
全国の図書館
  • 件名Fluid dynamics -- Mathematical models Numerical calculations -- Verification
  • 件名（識別子）Fluid dynamics -- Mathematical models Numerical calculations -- Verification

Verification and validation in scientific computing : hbk

Verification and validation in scientific computing : hbk
紙図書
William L. Oberkampf, Christopher J. RoyCambridge University Press2010
全国の図書館
  • 件名Science -- Data processing Numerical calculations -- Verification Computer programs -- Validati...
  • 件名（識別子）Science -- Data processing Numerical calculations -- Verification Computer programs -- Validati...

Scientific computing, computer arithmetic, and validated numerics : 16th International Symposium, SCAN 2014 Würzburg, Germany, September 21-26, 2014 revised selected papers

Scientific computing, computer arithmetic, and validated numerics : 16th International Symposium, SCAN 2014 Würzburg, Germany, September 21-26, 2014 revised selected papers
紙図書
Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker (eds.)Springerc2016
全国の図書館
  • 件名... -- Congresses Numerical calculations -- Verification -- Congresses GAMM-IMACS
  • 件名（識別子）... -- Congresses Numerical calculations -- Verification -- Congresses GAMM-IMACS

Symbolic algebraic methods and verification methods

Symbolic algebraic methods and verification methods
紙図書
Götz Alefeld ... [et al.] (eds.)Springerc2001
全国の図書館
  • 件名Computer arithmetic Floating-point arithmetic Numerical calculations -- Verification
  • 件名（識別子）Computer arithmetic Floating-point arithmetic Numerical calculations -- Verification

Verification and validation in computational science and engineering

Verification and validation in computational science and engineering
紙図書
by Patrick J. RoacheHermosapublishersc1998
全国の図書館
  • 件名Numerical calculations -- Verification Differential equations, Parti...
  • 件名（識別子）Numerical calculations -- Verification Differential equations, Parti...

Topics in validated computations : proceedings of IMACS-GAMM International Workshop on Validated Computation, Oldenburg, Germany, 30 August-3 September 1993

Topics in validated computations : proceedings of IMACS-GAMM International Workshop on Validated Computation, Oldenburg, Germany, 30 August-3 September 1993
紙図書
edited by Jürgen HerzbergerElsevier1994
全国の図書館
  • 件名... -- Congresses Numerical calculations -- Verification -- Congresses Algorithms -- C...
  • 件名（識別子）... -- Congresses Numerical calculations -- Verification -- Congresses Algorithms -- C...

Scientific computation with automatic result verification : au : us

Scientific computation with automatic result verification : au : us
紙図書
U. Kulisch and H.J. Stetter (eds.)Springer-Verlagc1988
全国の図書館
  • 件名Numerical calculations -- Verification -- Congresses Algorithms -- C...
  • 件名（識別子）Numerical calculations -- Verification -- Congresses Algorithms -- C...

検索結果は以上です。

RSS