Scientific Computing with Automatic Result Verification

Scientific Computing with Automatic Result Verification

E. Adams and U. Kulisch (Eds.)
5.0 / 5.0
0 comments
Wie gefällt Ihnen dieses Buch?
Wie ist die Qualität der Datei?
Herunterladen Sie das Buch, um Ihre Qualität zu bewerten
Wie ist die Qualität der heruntergeladenen Dateien?
Kategorien:
Computers - Computer Science
Jahr:
1993
Verlag:
Elsevier, Academic Press
Sprache:
english
ISBN 10:
0120442108
ISBN 13:
9780120442102
Serien:
Mathematics in Science and Engineering 189
Datei:
PDF, 7.91 MB
IPFS:
CID , CID Blake2b
english, 1993
Online lesen
  • pdf 7.91 MB Current page
  • Checking other formats...
  • Die konvertierte Datei kann vom Original abweichen. Wenn möglich, laden Sie die Datei im Originalformat herunter.
Die Konvertierung in ist im Gange
Die Konvertierung in ist fehlgeschlagen

Am meisten angefragte Begriffe

 
interval
arithmetic
solution
methods
numerical
function
computation
solutions
method
error
equations
matrix
operations
xsc
precision
functions
pascal
floating
algorithm
difference
vector
accuracy
computed
step
product
rounding
values
automatic
approximation
linear
scientific
standard
odes
figure
computing
theorem
defined
verified
periodic
systems
corresponding
fortran
verification
kulisch
stability
equation
remainder
bounds
eigenvalues
accurate
mathematical
algorithms
acrith
staggered
dynamic
computational
karlsruhe
scalar
operators
errors