Vai al contenuto principale della pagina
Biblioteche
Info
Contattaci
Storico ricerche
Pubblicazioni (Istanze)
Ricerca
Avanzata
Ovunque
Titolo
Nome
Soggetto
mostra
5
10
25
50
risultati per pagina ordinati per
Rilevanza
Titolo
Autore
Anno di pubblicazione
Record Nr.
Vai a Persone/Opere
(Ritorna alla ricerca)
1: Basic Numerical Problems : Theory, Algorithms, and Pascal-XSC Programs / R. Hammer ... [et al.]
Info
Relazione altra opera
Relazione altra pubblicazione
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
Titolo:
1: Basic Numerical Problems : Theory, Algorithms, and Pascal-XSC Programs / R. Hammer ... [et al.]
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
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