Cargando…

Numerical toolbox for verified computing

Detalles Bibliográficos
Autores principales:	Kulisch, Ulrich, Hammer, Rolf, Ratz, Dietmar, Hocks, Ma3rdias
Lenguaje:	eng
Publicado:	Springer 1993
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-3-642-78423-1 http://cds.cern.ch/record/1617986

Ejemplares similares

C++ toolbox for verified computing
por: Kulisch, Ulrich, et al.
Publicado: (1995)

PASCAL-XSC: language reference with examples
por: Kulisch, Ulrich, et al.
Publicado: (1992)

Creditrisk+ in the banking industry
por: Gundlach, Ma3rdias, et al.
Publicado: (2004)

Large-scale pde-constrained optimization
por: Biegler, Lorenz, et al.
Publicado: (2003)

Advanced arithmetic for the digital computer: design of arithmetic units
por: Kulisch, Ulrich W
Publicado: (2002)

Computer arithmetic in theory and practice
por: Kulisch, Ulrich W, et al.
Publicado: (1981)

Numerical computation
por: Ueberhuber, Christoph W
Publicado: (1997)

Perspectives on enclosure methods
por: Kulisch, Ulrich, et al.
Publicado: (2001)

Introduction to numerical computations
por: Vandergraft, James S, et al.
Publicado: (1983)

Introduction to numerical computations
por: Vandergraft, James S
Publicado: (1978)

Numerical analysis for computers
por: Lee, John A N
Publicado: (1966)

Numerical computer methods
por: Johnson, Michael L, et al.
Publicado: (2004)

Numerical computer methods
por: Johnson, Michael L, et al.
Publicado: (2004)

Elements of statistical computing: numerical computation
por: Thisted, RA
Publicado: (1988)

The fixed point theorem of Brouwer and verified inclusions
por: Rex, G
Publicado: (1999)

The geometry toolbox for graphics and modeling
por: Farin, Gerald, et al.
Publicado: (2017)

Numerical computation using C
por: Glassey, Robert, et al.
Publicado: (1993)

Numerical methods and computer programming
por: Khandelwal, Anju
Publicado: (2015)

Introduction to numerical computation in Pascal
por: Dew, P M, et al.
Publicado: (1983)

Numerical methods in matrix computations
por: Björck, Åke
Publicado: (2015)

Numerical analysis for computer science
por: Dodes, Irving Allen
Publicado: (1978)

Numerical analysis: the mathematics of computing
por: Watson, W A, et al.
Publicado: (1969)

Numerical computation in science and engineering
por: Pozrikidis, C
Publicado: (1998)

Computer applications of numerical methods
por: Kuo, Shan S
Publicado: (1972)

Numerical computing and mathematical analysis
por: Pizer, Stephen M
Publicado: (1975)

Numerical Analysis of Multiscale Computations
por: Engquist, Björn, et al.
Publicado: (2012)

Numerical optimization with computational errors
por: Zaslavski, Alexander J
Publicado: (2016)

Essential numerical computer methods
por: Johnson, Michael L
Publicado: (2010)

Numerical analysis: mathematics of scientific computing
por: Kincaid, David, et al.
Publicado: (2009)

Computational methods for numerical analysis with R
por: Howard, II, James P
Publicado: (2017)

Introduction to numerical analysis and scientific computing
por: Nassif, Nabil, et al.
Publicado: (2013)

Computational complexity of algebraic and numeric problems
por: Borodin, Allan M, et al.
Publicado: (1975)

Numerical computation of electric and magnetic fields
por: Steele, C W
Publicado: (1996)

Numerical recipes: the art of scientific computing
por: Press, William H, et al.
Publicado: (1986)

Numerical methods for high speed computers
por: Lance, Godfrey Newby
Publicado: (1960)

Numerical methods for scientific and engineering computation
por: Jain, M K, et al.
Publicado: (1985)

Handbook of computational and numerical methods in finance
por: Rachev, Svetlozar
Publicado: (2004)

International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
por: Csendes, Tibor
Publicado: (1999)

Practical linear algebra : a geometry toolbox
por: Farin, Gerald E, et al.
Publicado: (2014)

Numerical solution of sde through computer experiments
por: Kloeden, Peter E, et al.
Publicado: (1994)

Cannot write session to /tmp/vufind_sessions/sess_287cojtiqf01bkjcsn6uj9ar66