Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Complessita numerica / Dario Bini ... [et al.]
| Complessita numerica / Dario Bini ... [et al.] |
| Pubbl/distr/stampa | Torino, : Boringhieri, [1981] |
| Descrizione fisica | 236 p. ; 21 cm |
| Disciplina |
518
518.1 |
| Collana | Testi e manuali della scienza contemporanea, . Serie di informatica |
| Soggetto topico |
Complessità computazionale
Algoritmi Calcolo numerico |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISANNIO-RAV0191553 |
| Torino, : Boringhieri, [1981] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Computational complexity of sequential and parallel algorithms / Lydia Kronsjö
| Computational complexity of sequential and parallel algorithms / Lydia Kronsjö |
| Autore | Kronsjö, Lydia |
| Pubbl/distr/stampa | Chichester [etc.], : J. Wiley, c1985 |
| Descrizione fisica | X, 224 p. : ill. ; 24 cm |
| Disciplina |
518
518.1 |
| Collana | Wiley series in computing |
| Soggetto topico |
Algoritmi
Complessità computazionale |
| ISBN | 0471908142 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-RMS0002558 |
Kronsjö, Lydia
|
||
| Chichester [etc.], : J. Wiley, c1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Computational mathematics driven by industrial problems [e-book] : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Martina Franca, Italy, June 21-27, 1999 / edited by Rainer E. Burkard ... [et al.]
| Computational mathematics driven by industrial problems [e-book] : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Martina Franca, Italy, June 21-27, 1999 / edited by Rainer E. Burkard ... [et al.] |
| Pubbl/distr/stampa | Berlin : Springer, 2000 |
| Descrizione fisica | 1 online resource (x, 426 p.) |
| Disciplina | 518 |
| Altri autori (Persone) | Burkard, Rainer E. |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 1739 |
| Soggetto topico |
Mathematics
Systems theory Numerical analysis Mathematical optimization Distribution (Probability theory) Thermodynamics |
| ISBN | 9783540449768 |
| Classificazione |
AMS 41-XX
AMS 49-XX AMS 60D05 AMS 60G |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002222039707536 |
| Berlin : Springer, 2000 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Computational Signal Processing with Wavelets [[electronic resource] /] / by Anthony Teolis
| Computational Signal Processing with Wavelets [[electronic resource] /] / by Anthony Teolis |
| Autore | Teolis Anthony |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2017 |
| Descrizione fisica | 1 online resource (XXVI, 324 p.) |
| Disciplina | 518 |
| Collana | Modern Birkhäuser Classics |
| Soggetto topico |
Numerical analysis
Fourier analysis Computer mathematics Numerical Analysis Fourier Analysis Computational Science and Engineering |
| ISBN | 3-319-65747-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Mathematical Preliminaries -- Signal Representation and Frames -- Continuous Wavelet and Gabor Transforms -- Discrete Wavelet Transform -- Overcomplete Wavelet Transform -- Wavelet Signal Processing -- Object-Oriented Wavelet Analysis with MATLAB 5 -- References -- Index. |
| Record Nr. | UNINA-9910254290503321 |
|
Teolis Anthony
|
||
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Algebra [[electronic resource] ] : EUROCAL’83, European Computer Algebra Conference London, England, March 28–30, 1983 Proceedings / / edited by J. A. van Hulzen
| Computer Algebra [[electronic resource] ] : EUROCAL’83, European Computer Algebra Conference London, England, March 28–30, 1983 Proceedings / / edited by J. A. van Hulzen |
| Edizione | [1st ed. 1983.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1983 |
| Descrizione fisica | 1 online resource (XIII, 306 p.) |
| Disciplina | 518 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Numerical analysis
Numerical Analysis |
| ISBN | 3-540-38756-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Integration — What do we want from the theory? -- The Euclidean algorithm for Gaussian integers -- Multi polynomial remainder sequence and its application to linear diophantine equations -- Towards mechanical solution of the Kahan ellipse problem I -- Automatically determining symmetries of ordinary differential equations -- Algebraic computation of the statistics of the solution of some nonlinear stochastic differential equations -- Characterization of a linear differential system with a regular singularity -- The Bath Concurrent LISP machine -- The ecology of LISP or the case for the preservation of the environment -- The design of Maple: A compact, portable, and powerful computer algebra system -- LISP compilation viewed as provable semantics preserving program transformation -- Implementing REDUCE on a microcomputer -- A note on the complexity of constructing Gröbner-bases -- Gröbner bases, Gaussian elimination and resolution of systems of algebraic equations -- The computation of the Hilbert function -- An algorithm for constructing detaching bases in the ring of polynomials over a field -- On the problem of Beh? Edd?n 'Am?l? and the computation of height functions -- A procedure for determining algebraic integers of given norm -- Computation of integral solutions of a special type of systems of quadratic equations -- Factorisation of sparse polynomials -- Early detection of true factors in univariate polynomial factorization -- On the complexity of finding short vectors in integer lattices -- Factoring polynomials over algebraic number fields -- The construction of a complete minimal set of contextual normal forms -- A knowledge-based approach to user-friendliness in symbolic computing -- Computer algebra and VLSI, prospects for cross fertilization -- Code optimization of multivariate polynomial schemes: A pragmatic approach. |
| Record Nr. | UNISA-996466341703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Algebra [[electronic resource] ] : EUROCAM '82, European Computer Algebra Conference, Marseilles, France, April 5-7, 1982 / / edited by J. Calmet
| Computer Algebra [[electronic resource] ] : EUROCAM '82, European Computer Algebra Conference, Marseilles, France, April 5-7, 1982 / / edited by J. Calmet |
| Edizione | [1st ed. 1982.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1982 |
| Descrizione fisica | 1 online resource (XVI, 304 p.) |
| Disciplina | 518 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Numerical analysis
Numerical Analysis |
| ISBN | 3-540-39433-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Asymptotically fast algorithms for the numerical muitiplication and division of polynomials with complex coefficients -- An adaptive hybrid algorithm for multiplying dense polynomials -- The construction of multivariate polynomials with preassigned zeros -- Lattices and factorization of polynomials over algebraic number fields -- Commutative algebra and computer algebra -- The nielsen reduction as key problem to polynomial algorithms in free groups -- The structure of near-rings of small order -- Computing double coset representatives for the generation of solvable groups -- On the determination of algebraic number fields of given discriminant -- Rewrite rule theory and abstract data type analysis -- Algebraic specifications: A constructive methodology in logic programming -- A theorem-proving approach to the Knuth-Bendix completion algorithm -- Solving symbolic equations with press -- Deterministic versus probabilistic factorization of integral polynomials -- On polynomial factorization -- Hacijan's algorithm in VAXIMA: improvements and difficulties -- The parallel Risch algorithm (I) -- An algorithm to compute the equations of tangent cones -- Computer algebra systems viewed by a notorious user -- Implementation of differential geometric objects and functions with an application to extended Maxwell equations -- A sum-substitutor used as trigonometric simplifier -- Transformation of an intractable problem into a tractable problem: Evaluation of a determinant in several variables -- Algebraic computation of the solution of some nonlinear differential equations -- Factorization in cylindrical algebraic decomposition — Abstract -- Cylindrical algebraic decomposition by quantifier elimination -- Algorithms for the computation of free lattices -- Linear algebraic approach for computing polynomial resultant -- The development of a vector-based algebra system -- Nlargeing a z80 microprocessor -- Escaping from intermediate expression swell: a continuing saga -- REDUCE — A case study in algebra system development -- An algorithm to obtain formal solutions of a linear homogeneous differential equation at an irregular singular point -- Symbolic numeric methods in microwave technology -- A program in REDUCE for finding explicit solutions to certain ordinary differential equations -- An application of MACSYMA to nonlinear systems decoupling. |
| Record Nr. | UNISA-996466351603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Algebra in Scientific Computing [[electronic resource] ] : 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov
| Computer Algebra in Scientific Computing [[electronic resource] ] : 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 304 p. 48 illus.) |
| Disciplina | 518 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Computer programming Computer science Discrete mathematics Algorithms Computer graphics Symbolic and Algebraic Manipulation Programming Techniques Theory of Computation Discrete Mathematics in Computer Science Computer Graphics |
| ISBN |
1-280-38841-2
9786613566331 3-642-15274-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Construction of Irreducible Polynomials over Finite Fields -- Factorization of Polynomials and GCD Computations for Finding Universal Denominators -- A Role of Symbolic Computations in Beam Physics -- Thomas Decomposition of Algebraic and Differential Systems -- On Multivariate Homogeneous Polynomial Decomposition -- Computing Matrix Representations of Filiform Lie Algebras -- Type Specialization in Aldor -- An Algebraic Implicitization and Specialization of Minimum KL-Divergence Models -- On Sufficient Conditions for Integrability of a Planar System of ODEs Near a Degenerate Stationary Point -- Symbolic-Numeric Algorithms for Computer Analysis of Spheroidal Quantum Dot Models -- On Reduction of Lagrange Systems -- Series Transformations to Improve and Extend Convergence -- Differential Resultant, Computer Algebra and Completely Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat Decomposition -- Computational Science in Armenia (Invited Talk) -- From Petri Nets to Polynomials: Modeling, Algorithms, and Complexity (Abstract) (Invited Talk) -- Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner Bases -- One Class of Third-Order Linear ODE’s -- GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials -- Derivation of Explicit Difference Schemes for Ordinary Differential Equations with the Aid of Lagrange–Burmann Expansions -- Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk) -- An Analytical Model for the Probability Characteristics of a Crack Hitting an Encapsulated Self-healing Agent in Concrete -- Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases. |
| Record Nr. | UNISA-996465941203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Algebra in Scientific Computing [[electronic resource] ] : 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov
| Computer Algebra in Scientific Computing [[electronic resource] ] : 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 304 p. 48 illus.) |
| Disciplina | 518 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Computer programming Computer science Discrete mathematics Algorithms Computer graphics Symbolic and Algebraic Manipulation Programming Techniques Theory of Computation Discrete Mathematics in Computer Science Computer Graphics |
| ISBN |
1-280-38841-2
9786613566331 3-642-15274-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Construction of Irreducible Polynomials over Finite Fields -- Factorization of Polynomials and GCD Computations for Finding Universal Denominators -- A Role of Symbolic Computations in Beam Physics -- Thomas Decomposition of Algebraic and Differential Systems -- On Multivariate Homogeneous Polynomial Decomposition -- Computing Matrix Representations of Filiform Lie Algebras -- Type Specialization in Aldor -- An Algebraic Implicitization and Specialization of Minimum KL-Divergence Models -- On Sufficient Conditions for Integrability of a Planar System of ODEs Near a Degenerate Stationary Point -- Symbolic-Numeric Algorithms for Computer Analysis of Spheroidal Quantum Dot Models -- On Reduction of Lagrange Systems -- Series Transformations to Improve and Extend Convergence -- Differential Resultant, Computer Algebra and Completely Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat Decomposition -- Computational Science in Armenia (Invited Talk) -- From Petri Nets to Polynomials: Modeling, Algorithms, and Complexity (Abstract) (Invited Talk) -- Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner Bases -- One Class of Third-Order Linear ODE’s -- GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials -- Derivation of Explicit Difference Schemes for Ordinary Differential Equations with the Aid of Lagrange–Burmann Expansions -- Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk) -- An Analytical Model for the Probability Characteristics of a Crack Hitting an Encapsulated Self-healing Agent in Concrete -- Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases. |
| Record Nr. | UNINA-9910484670203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computing methods in applied sciences and engineering, 1977 : third international symposium, December 5-9, 1977 / / edited by R. Glowinski, J. L. Lions
| Computing methods in applied sciences and engineering, 1977 : third international symposium, December 5-9, 1977 / / edited by R. Glowinski, J. L. Lions |
| Edizione | [1st ed. 1979.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [1979] |
| Descrizione fisica | 1 online resource (VIII, 396 p.) |
| Disciplina | 518 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico | Engineering - Data processing |
| ISBN | 3-540-35411-5 |
| Classificazione | 65-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sur Certains Aspects Qualitatifs de la Theorie des Equations aux Derivees Partielles -- Les Problems Mal Poses et les Problemes Mathematiques de Traitement Automatique de Resultats d'Experiences -- Iterative methods in numerical solution of differential equations -- Numerical methods for complementarity problems in engineering and applied science -- Optimisation non Differentiable: Methodes de Faisceaux -- Variable metric methods for constrained optimization -- Constant strain finite elements -- Computation of eddy currents on a surface in ?3 by finite element methods -- The club MODULEF -- Finite element analysis for stress intensity factors -- The sommerfeld (radiation) condition on infinite domains and its modelling in numerical procedures -- On the finite element approximation for evolution equations of parabolic type -- Special applications of Hamiltons's principle to structural dynamics -- Constructive methods for bifurcation and nonlinear eigenvalue problems -- Finite element approximations to bifurcation problems of turning point type -- On numerical deformation of singularities in nonlinear elasticity -- Numerical methods for free surface problems by means of penalty -- A family of model problems in plasticity -- The computational aspects of the homogenization problem -- Asymptotics for branching transport processes -- Numerical experiments of the homogenization method -- A homogenized multigroup diffusion theory for the neutron transport equation -- Estimation de Coefficients Homogenises -- Some applications of computational mathematics to medical problems. |
| Record Nr. | UNISA-996466769503316 |
| Berlin, Germany : , : Springer, , [1979] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computing the zeros of analytic functions [e-book] / by Peter Kravanja, Marc Barel
| Computing the zeros of analytic functions [e-book] / by Peter Kravanja, Marc Barel |
| Autore | Kravanja, Peter |
| Pubbl/distr/stampa | Berlin : Springer, 2000 |
| Descrizione fisica | 1 online resource (viii, 112 p.) |
| Disciplina | 518 |
| Altri autori (Persone) | Barel, Marcauthor |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 1727 |
| Soggetto topico |
Mathematics
Functions of complex variables Numerical analysis |
| ISBN | 9783540465188 |
| Classificazione |
AMS 65E05
AMS 65H05 AMS 65H10 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002229619707536 |
|
Kravanja, Peter
|
||
| Berlin : Springer, 2000 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
