Vai al contenuto principale della pagina

1: Basic Numerical Problems : Theory, Algorithms, and Pascal-XSC Programs / R. Hammer ... [et al.]



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: 1: Basic Numerical Problems : Theory, Algorithms, and Pascal-XSC Programs / R. Hammer ... [et al.] Visualizza cluster
Pubblicazione: Berlin [etc.], : Springer-Verlag, 1993
Descrizione fisica: xv, 337 p. : ill. ; 24 cm
Soggetto topico: 12-XX - Field theory and polynomials [MSC 2020]
15-XX - Linear and multilinear algebra; matrix theory [MSC 2020]
65-XX - Numerical analysis [MSC 2020]
65D25 - Numerical differentiation [MSC 2020]
65F05 - Direct numerical methods for linear systems and matrix inversion [MSC 2020]
65G30 - Interval and finite arithmetic [MSC 2020]
65H10 - Numerical computation of solutions to systems of equations [MSC 2020]
65K05 - Numerical mathematical programming methods [MSC 2020]
65Y20 - Complexity and performance of numerical algorithms [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020]
90-XX - Operations research, mathematical programming [MSC 2020]
Soggetto non controllato: Algorithms
Automatic Result Verification
Numerical Analysis
Numerics
Optimization
Program verification
Programming
Scientific Computing
Self-Verifying Numerics
Simplification
Simplification of Programming
Verification
Verified Computing
Persona (resp. second.): Hammer, Rolf
Titolo autorizzato: Basic numerical problems  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: VAN00290605
Lo trovi qui: Univ. Vanvitelli
Localizzazioni e accesso elettronico https://doi.org/10.1007/978-3-642-78423-1
Opac: Controlla la disponibilità qui
Serie: Springer series in computational mathematics Berlin [etc.] . -Springer,1983- ; 21
Fa parte di: Numerical Toolbox for Verified Computing / R. Hammer ... [et al.] Berlin [etc.] . -Springer-Verlag volumi . -ill. , 24 cm ; 1