Pubbl/distr/stampa	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
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Record Nr.	UNICAMPANIA-VAN00290605

Autore	Langtangen, Hans P.
Edizione	[5. ed]
Pubbl/distr/stampa	Berlin ; Heidelberg, : Springer, 2016
Descrizione fisica	XXXI, 922 p. : ill. ; 24 cm
Soggetto topico	68-XX - Computer science [MSC 2020] 26-XX - Real functions [MSC 2020] 40-XX - Sequences, series, summability [MSC 2020] 70-XX - Mechanics of particles and systems [MSC 2020] 34A30 - Linear ordinary differential equations and systems, general [MSC 2020] 92D25 - Population dynamics (general) [MSC 2020] 65D15 - Algorithms for approximation of functions [MSC 2020] 65D30 - Numerical integration [MSC 2020] 97-XX - Mathematics education [MSC 2020] 34A34 - Nonlinear ordinary differential equations and systems, general theory [MSC 2020] 68Nxx - Theory of software [MSC 2020] 68N19 - Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) [MSC 2020] 34A05 - Explicit solutions and reductions of ordinary differential equations [MSC 2020] 39-XX - Difference and functional equations [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] 97U50 - Computer assisted instruction, e-learning (aspects of mathematics education) [MSC 2020] 65D25 - Numerical differentiation [MSC 2020]
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Record Nr.	UNICAMPANIA-SUN0114257

Autore	Bagdasarov, Sergey K.
Pubbl/distr/stampa	Basel [etc.], : Springer, : Birkhäuser, 1998
Descrizione fisica	xiii, 205 p. ; 24 cm
Soggetto topico	26A15 - Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable [MSC 2020] 26A16 - Lipschitz (Hölder) classes [MSC 2020] 26D10 - Inequalities involving derivatives and differential and integral operators [MSC 2020] 41-XX - Approximations and expansions [MSC 2020] 41A17 - Inequalities in approximation (Bernstein, Jackson, Nikolʹskiĭ-type inequalities) [MSC 2020] 41A44 - Best constants in approximation theory [MSC 2020] 58C30 - Fixed-point theorems on manifolds on manifolds [MSC 2020] 65D25 - Numerical differentiation [MSC 2020]
Soggetto non controllato	Calculus Equations Functions Optimization Topology
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Record Nr.	UNICAMPANIA-VAN00297963

Autore	Holmes, Mark H.
Pubbl/distr/stampa	[Cham], : Springer, 2016
Descrizione fisica	XIV, 497 p. : ill. ; 24 cm
Soggetto topico	65-XX - Numerical analysis [MSC 2020] 65K10 - Numerical optimization and variational techniques [MSC 2020] 15-XX - Linear and multilinear algebra; matrix theory [MSC 2020] 65Zxx - Applications to the sciences [MSC 2020] 49Sxx - Variational principles of physics [MSC 2020] 65L12 - Finite difference and finite volume methods for ordinary differential equations [MSC 2020] 65L05 - Numerical methods for initial value problems [MSC 2020] 65Hxx - Nonlinear algebraic or transcendental equations [MSC 2020] 65D05 - Numerical interpolation [MSC 2020] 65D32 - Numerical quadrature and cubature formulas [MSC 2020] 65D30 - Numerical integration [MSC 2020] 65D07 - Numerical computation using splines [MSC 2020] 65Fxx - Numerical linear algebra [MSC 2020] 49Mxx - Numerical methods in optimal control [MSC 2020] 65D25 - Numerical differentiation [MSC 2020]
Soggetto non controllato	Conjugate Gradient Method Data analysis Interpolation Nonlinear equations Numerical integration Numerical linear algebra Optimization Partial differential equations Scientific Computing Singular value decomposition
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Titolo uniforme
Record Nr.	UNICAMPANIA-VAN0114896

Pubbl/distr/stampa	New York, : Plenum, 1986
Descrizione fisica	x, 201 p. : ill. ; 24 cm
Soggetto topico	65-XX - Numerical analysis [MSC 2020] 65R20 - Numerical methods for integral equations [MSC 2020] 65K10 - Numerical optimization and variational techniques [MSC 2020] 65L10 - Numerical solution of boundary value problems involving ordinary differential equations [MSC 2020] 65D15 - Algorithms for approximation of functions [MSC 2020] 65D25 - Numerical differentiation [MSC 2020]
Soggetto non controllato	Computer Control Identification Software
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Record Nr.	UNICAMPANIA-VAN0268878