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.
Computational Techniques for Fluid Dynamics 1 [[electronic resource] ] : Fundamental and General Techniques / / by Clive A.J. Fletcher
| Computational Techniques for Fluid Dynamics 1 [[electronic resource] ] : Fundamental and General Techniques / / by Clive A.J. Fletcher |
| Autore | Fletcher Clive A.J |
| Edizione | [2nd ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XIII, 401 p. 2 illus.) |
| Disciplina | 532.050151 |
| Collana | Scientific Computation |
| Soggetto topico |
Continuum physics
Fluids Physics Computer mathematics Applied mathematics Engineering mathematics Fluid mechanics Classical and Continuum Physics Fluid- and Aerodynamics Numerical and Computational Physics, Simulation Computational Science and Engineering Mathematical and Computational Engineering Engineering Fluid Dynamics |
| ISBN | 3-642-58229-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Computational Fluid Dynamics: An Introduction -- 1.1 Advantages of Computational Fluid Dynamics -- 1.2 Typical Practical Problems -- 1.3 Equation Structure -- 1.4 Overview of Computational Fluid Dynamics -- 1.5 Further Reading -- 2. Partial Differential Equations -- 2.1 Background -- 2.2 Hyperbolic Partial Differential Equations -- 2.3 Parabolic Partial Differential Equations -- 2.4 Elliptic Partial Differential Equations -- 2.5 Traditional Solution Methods -- 2.6 Closure -- 2.7 Problems -- 3. Preliminary Computational Techniques -- 3.1 Discretisation -- 3.2 Approximation to Derivatives -- 3.3 Accuracy of the Discretisation Process -- 3.4 Wave Representation -- 3.5 Finite Difference Method -- 3.6 Closure -- 3.7 Problems -- 4. Theoretical Background -- 4.1 Convergence -- 4.2 Consistency -- 4.3 Stability -- 4.4 Solution Accuracy -- 4.5 Computational Efficiency -- 4.6 Closure -- 4.7 Problems -- 5. Weighted Residual Methods -- 5.1 General Formulation -- 5.2 Finite Volume Method -- 5.3 Finite Element Method and Interpolation -- 5.4 Finite Element Method and the Sturm-Liouville Equation -- 5.5 Further Applications of the Finite Element Method -- 5.6 Spectral Method -- 5.7 Closure -- 5.8 Problems -- 6. Steady Problems -- 6.1 Nonlinear Steady Problems -- 6.2 Direct Methods for Linear Systems -- 6.3 Iterative Methods -- 6.4 Pseudotransient Method -- 6.5 Strategies for Steady Problems -- 6.6 Closure -- 6.7 Problems -- 7. One-Dimensional Diffusion Equation -- 7.1 Explicit Methods -- 7.2 Implicit Methods -- 7.3 Boundary and Initial Conditions -- 7.4 Method of Lines -- 7.5 Closure -- 7.6 Problems -- 8. Multidimensional Diffusion Equation -- 8.1 Two-Dimensional Diffusion Equation -- 8.2 Multidimensional Splitting Methods -- 8.3 Splitting Schemes and the Finite Element Method -- 8.4 Neumann Boundary Conditions -- 8.5 Method of Fractional Steps -- 8.6 Closure -- 8.7 Problems -- 9. Linear Convection-Dominated Problems -- 9.1 One-Dimensional Linear Convection Equation -- 9.2 Numerical Dissipation and Dispersion -- 9.3 Steady Convection-Diffusion Equation -- 9.4 One-Dimensional Transport Equation -- 9.5 Two-Dimensional Transport Equation -- 9.6 Closure -- 9.7 Problems -- 10. Nonlinear Convection-Dominated Problems -- 10.1 One-Dimensional Burgers’ Equation -- 10.2 Systems of Equations -- 10.3 Group Finite Element Method -- 10.4 Two-Dimensional Burgers’ Equation -- 10.5 Closure -- 10.6 Problems -- Appendix A.1 Empirical Determination of the Execution Time of Basic Operations -- A.2 Mass and Difference Operators -- References. |
| Record Nr. | UNINA-9910480764403321 |
Fletcher Clive A.J
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Techniques for Fluid Dynamics 1 [[electronic resource] ] : Fundamental and General Techniques / / by Clive A.J. Fletcher
| Computational Techniques for Fluid Dynamics 1 [[electronic resource] ] : Fundamental and General Techniques / / by Clive A.J. Fletcher |
| Autore | Fletcher Clive A.J |
| Edizione | [2nd ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XIII, 401 p. 2 illus.) |
| Disciplina | 532.050151 |
| Altri autori (Persone) | SrinivasK <1946-> (Karkenahalli) |
| Collana | Scientific Computation |
| Soggetto topico |
Continuum physics
Fluids Physics Computer mathematics Applied mathematics Engineering mathematics Fluid mechanics Classical and Continuum Physics Fluid- and Aerodynamics Numerical and Computational Physics, Simulation Computational Science and Engineering Mathematical and Computational Engineering Engineering Fluid Dynamics |
| ISBN | 3-642-58229-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Computational Fluid Dynamics: An Introduction -- 1.1 Advantages of Computational Fluid Dynamics -- 1.2 Typical Practical Problems -- 1.3 Equation Structure -- 1.4 Overview of Computational Fluid Dynamics -- 1.5 Further Reading -- 2. Partial Differential Equations -- 2.1 Background -- 2.2 Hyperbolic Partial Differential Equations -- 2.3 Parabolic Partial Differential Equations -- 2.4 Elliptic Partial Differential Equations -- 2.5 Traditional Solution Methods -- 2.6 Closure -- 2.7 Problems -- 3. Preliminary Computational Techniques -- 3.1 Discretisation -- 3.2 Approximation to Derivatives -- 3.3 Accuracy of the Discretisation Process -- 3.4 Wave Representation -- 3.5 Finite Difference Method -- 3.6 Closure -- 3.7 Problems -- 4. Theoretical Background -- 4.1 Convergence -- 4.2 Consistency -- 4.3 Stability -- 4.4 Solution Accuracy -- 4.5 Computational Efficiency -- 4.6 Closure -- 4.7 Problems -- 5. Weighted Residual Methods -- 5.1 General Formulation -- 5.2 Finite Volume Method -- 5.3 Finite Element Method and Interpolation -- 5.4 Finite Element Method and the Sturm-Liouville Equation -- 5.5 Further Applications of the Finite Element Method -- 5.6 Spectral Method -- 5.7 Closure -- 5.8 Problems -- 6. Steady Problems -- 6.1 Nonlinear Steady Problems -- 6.2 Direct Methods for Linear Systems -- 6.3 Iterative Methods -- 6.4 Pseudotransient Method -- 6.5 Strategies for Steady Problems -- 6.6 Closure -- 6.7 Problems -- 7. One-Dimensional Diffusion Equation -- 7.1 Explicit Methods -- 7.2 Implicit Methods -- 7.3 Boundary and Initial Conditions -- 7.4 Method of Lines -- 7.5 Closure -- 7.6 Problems -- 8. Multidimensional Diffusion Equation -- 8.1 Two-Dimensional Diffusion Equation -- 8.2 Multidimensional Splitting Methods -- 8.3 Splitting Schemes and the Finite Element Method -- 8.4 Neumann Boundary Conditions -- 8.5 Method of Fractional Steps -- 8.6 Closure -- 8.7 Problems -- 9. Linear Convection-Dominated Problems -- 9.1 One-Dimensional Linear Convection Equation -- 9.2 Numerical Dissipation and Dispersion -- 9.3 Steady Convection-Diffusion Equation -- 9.4 One-Dimensional Transport Equation -- 9.5 Two-Dimensional Transport Equation -- 9.6 Closure -- 9.7 Problems -- 10. Nonlinear Convection-Dominated Problems -- 10.1 One-Dimensional Burgers’ Equation -- 10.2 Systems of Equations -- 10.3 Group Finite Element Method -- 10.4 Two-Dimensional Burgers’ Equation -- 10.5 Closure -- 10.6 Problems -- Appendix A.1 Empirical Determination of the Execution Time of Basic Operations -- A.2 Mass and Difference Operators -- References. |
| Record Nr. | UNINA-9910789209903321 |
|
Fletcher Clive A.J
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Techniques for Fluid Dynamics 1 [[electronic resource] ] : Fundamental and General Techniques / / by Clive A.J. Fletcher
| Computational Techniques for Fluid Dynamics 1 [[electronic resource] ] : Fundamental and General Techniques / / by Clive A.J. Fletcher |
| Autore | Fletcher Clive A.J |
| Edizione | [2nd ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XIII, 401 p. 2 illus.) |
| Disciplina | 532.050151 |
| Altri autori (Persone) | SrinivasK <1946-> (Karkenahalli) |
| Collana | Scientific Computation |
| Soggetto topico |
Continuum physics
Fluids Physics Computer mathematics Applied mathematics Engineering mathematics Fluid mechanics Classical and Continuum Physics Fluid- and Aerodynamics Numerical and Computational Physics, Simulation Computational Science and Engineering Mathematical and Computational Engineering Engineering Fluid Dynamics |
| ISBN | 3-642-58229-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Computational Fluid Dynamics: An Introduction -- 1.1 Advantages of Computational Fluid Dynamics -- 1.2 Typical Practical Problems -- 1.3 Equation Structure -- 1.4 Overview of Computational Fluid Dynamics -- 1.5 Further Reading -- 2. Partial Differential Equations -- 2.1 Background -- 2.2 Hyperbolic Partial Differential Equations -- 2.3 Parabolic Partial Differential Equations -- 2.4 Elliptic Partial Differential Equations -- 2.5 Traditional Solution Methods -- 2.6 Closure -- 2.7 Problems -- 3. Preliminary Computational Techniques -- 3.1 Discretisation -- 3.2 Approximation to Derivatives -- 3.3 Accuracy of the Discretisation Process -- 3.4 Wave Representation -- 3.5 Finite Difference Method -- 3.6 Closure -- 3.7 Problems -- 4. Theoretical Background -- 4.1 Convergence -- 4.2 Consistency -- 4.3 Stability -- 4.4 Solution Accuracy -- 4.5 Computational Efficiency -- 4.6 Closure -- 4.7 Problems -- 5. Weighted Residual Methods -- 5.1 General Formulation -- 5.2 Finite Volume Method -- 5.3 Finite Element Method and Interpolation -- 5.4 Finite Element Method and the Sturm-Liouville Equation -- 5.5 Further Applications of the Finite Element Method -- 5.6 Spectral Method -- 5.7 Closure -- 5.8 Problems -- 6. Steady Problems -- 6.1 Nonlinear Steady Problems -- 6.2 Direct Methods for Linear Systems -- 6.3 Iterative Methods -- 6.4 Pseudotransient Method -- 6.5 Strategies for Steady Problems -- 6.6 Closure -- 6.7 Problems -- 7. One-Dimensional Diffusion Equation -- 7.1 Explicit Methods -- 7.2 Implicit Methods -- 7.3 Boundary and Initial Conditions -- 7.4 Method of Lines -- 7.5 Closure -- 7.6 Problems -- 8. Multidimensional Diffusion Equation -- 8.1 Two-Dimensional Diffusion Equation -- 8.2 Multidimensional Splitting Methods -- 8.3 Splitting Schemes and the Finite Element Method -- 8.4 Neumann Boundary Conditions -- 8.5 Method of Fractional Steps -- 8.6 Closure -- 8.7 Problems -- 9. Linear Convection-Dominated Problems -- 9.1 One-Dimensional Linear Convection Equation -- 9.2 Numerical Dissipation and Dispersion -- 9.3 Steady Convection-Diffusion Equation -- 9.4 One-Dimensional Transport Equation -- 9.5 Two-Dimensional Transport Equation -- 9.6 Closure -- 9.7 Problems -- 10. Nonlinear Convection-Dominated Problems -- 10.1 One-Dimensional Burgers’ Equation -- 10.2 Systems of Equations -- 10.3 Group Finite Element Method -- 10.4 Two-Dimensional Burgers’ Equation -- 10.5 Closure -- 10.6 Problems -- Appendix A.1 Empirical Determination of the Execution Time of Basic Operations -- A.2 Mass and Difference Operators -- References. |
| Record Nr. | UNINA-9910813428303321 |
|
Fletcher Clive A.J
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Aided Virtual Manufacturing Using Creo Parametric : Easy to Learn Step by Step Guide / / by Paul Obiora Kanife
| Computer Aided Virtual Manufacturing Using Creo Parametric : Easy to Learn Step by Step Guide / / by Paul Obiora Kanife |
| Autore | Kanife Paul Obiora |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (L, 640 p. 1251 illus.) |
| Disciplina | 620.00420285 |
| Soggetto topico |
Manufactures
Computer-aided engineering Computer mathematics Technical education Manufacturing, Machines, Tools, Processes Computer-Aided Engineering (CAD, CAE) and Design Computational Science and Engineering Engineering/Technology Education |
| ISBN | 3-319-23359-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Engraving Tutorial -- Face milling Operation -- Volume Rough Milling Operation -- Profile Milling Operation -- Volume Rough Milling Operation, Mill Surface and Drill Operation -- Volume Rough Milling using Mill Window and Surface Milling Operation -- Expert Machinist -- Electric Discharge Machining (EDM) -- CNC Area Lathe -- Area Lathe Turning, Drilling, Boring and Volume Milling -- Five Axes Machining of Intricate Part -- Surface Milling of Intricate Cast Part. |
| Record Nr. | UNINA-9910254188103321 |
|
Kanife Paul Obiora
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Algebra and Geometric Algebra with Applications [[electronic resource] ] : 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers / / edited by Hongbo Li, Peter J. Olver, Gerald Sommer
| Computer Algebra and Geometric Algebra with Applications [[electronic resource] ] : 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers / / edited by Hongbo Li, Peter J. Olver, Gerald Sommer |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (IX, 449 p.) |
| Disciplina | 512 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Numerical analysis Computer graphics Computer vision Artificial intelligence Mathematics—Data processing Numerical Analysis Computer Graphics Computer Vision Artificial Intelligence Computational Science and Engineering |
| ISBN |
3-540-32119-5
3-540-26296-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computer Algebra and Applications -- On Wintner’s Conjecture About Central Configurations -- Polynomial General Solutions for First Order Autonomous ODEs -- The Newton Polygon Method for Differential Equations -- Implicit Reduced Involutive Forms and Their Application to Engineering Multibody Systems -- Hybrid Method for Solving New Pose Estimation Equation System -- Some Necessary Conditions on the Number of Solutions for the P4P Problem -- A Generalization of Xie-Nie Stability Criterion -- Formal Power Series and Loose Entry Formulas for the Dixon Matrix -- Constructive Theory and Algorithm for Blending Several Implicit Algebraic Surfaces -- Minimum-Cost Optimization in Multicommodity Logistic Chain Network -- A Survey of Moving Frames -- Invariant Geometric Motions of Space Curves -- Classification of Signature Curves Using Latent Semantic Analysis -- Hamiltonian System and Algebro-Geometric Solution Associated with Dispersive Long Wave Equation -- The Painlevé Test of Nonlinear Partial Differential Equations and Its Implementation Using Maple -- Geometric Algebra and Applications -- Hybrid Matrix Geometric Algebra -- Intrinsic Differential Geometry with Geometric Calculus -- On Miquel’s Five-Circle Theorem -- On Averaging in Clifford Groups -- Combinatorics and Representation Theory of Lie Superalgebras over Letterplace Superalgebras -- Applications of Geometric Algebra in Robot Vision -- Twists – An Operational Representation of Shape -- Recent Applications of Conformal Geometric Algebra -- Applications of Conformal Geometric Algebra in Computer Vision and Graphics -- Conic Sections and Meet Intersections in Geometric Algebra -- nD Object Representation and Detection from Single 2D Line Drawing -- Polyhedral Scene Analysis Combining Parametric Propagation with Calotte Analysis -- A Unified and Complete Framework of Invariance for Six Points -- An Introduction to Logical Animation -- Recent Methods for Reconstructing Surfaces from Multiple Images. |
| Record Nr. | UNISA-996466150803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Algebra and Geometric Algebra with Applications [[electronic resource] ] : 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers / / edited by Hongbo Li, Peter J. Olver, Gerald Sommer
| Computer Algebra and Geometric Algebra with Applications [[electronic resource] ] : 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers / / edited by Hongbo Li, Peter J. Olver, Gerald Sommer |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (IX, 449 p.) |
| Disciplina | 512 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Numerical analysis Computer graphics Computer vision Artificial intelligence Mathematics—Data processing Numerical Analysis Computer Graphics Computer Vision Artificial Intelligence Computational Science and Engineering |
| ISBN |
3-540-32119-5
3-540-26296-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computer Algebra and Applications -- On Wintner’s Conjecture About Central Configurations -- Polynomial General Solutions for First Order Autonomous ODEs -- The Newton Polygon Method for Differential Equations -- Implicit Reduced Involutive Forms and Their Application to Engineering Multibody Systems -- Hybrid Method for Solving New Pose Estimation Equation System -- Some Necessary Conditions on the Number of Solutions for the P4P Problem -- A Generalization of Xie-Nie Stability Criterion -- Formal Power Series and Loose Entry Formulas for the Dixon Matrix -- Constructive Theory and Algorithm for Blending Several Implicit Algebraic Surfaces -- Minimum-Cost Optimization in Multicommodity Logistic Chain Network -- A Survey of Moving Frames -- Invariant Geometric Motions of Space Curves -- Classification of Signature Curves Using Latent Semantic Analysis -- Hamiltonian System and Algebro-Geometric Solution Associated with Dispersive Long Wave Equation -- The Painlevé Test of Nonlinear Partial Differential Equations and Its Implementation Using Maple -- Geometric Algebra and Applications -- Hybrid Matrix Geometric Algebra -- Intrinsic Differential Geometry with Geometric Calculus -- On Miquel’s Five-Circle Theorem -- On Averaging in Clifford Groups -- Combinatorics and Representation Theory of Lie Superalgebras over Letterplace Superalgebras -- Applications of Geometric Algebra in Robot Vision -- Twists – An Operational Representation of Shape -- Recent Applications of Conformal Geometric Algebra -- Applications of Conformal Geometric Algebra in Computer Vision and Graphics -- Conic Sections and Meet Intersections in Geometric Algebra -- nD Object Representation and Detection from Single 2D Line Drawing -- Polyhedral Scene Analysis Combining Parametric Propagation with Calotte Analysis -- A Unified and Complete Framework of Invariance for Six Points -- An Introduction to Logical Animation -- Recent Methods for Reconstructing Surfaces from Multiple Images. |
| Record Nr. | UNINA-9910767507503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Algebra Methods for Equivariant Dynamical Systems [[electronic resource] /] / by Karin Gatermann
| Computer Algebra Methods for Equivariant Dynamical Systems [[electronic resource] /] / by Karin Gatermann |
| Autore | Gatermann Karin |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XVIII, 162 p.) |
| Disciplina | 510 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Algebra
Computer science—Mathematics Computer mathematics Mathematical analysis Analysis (Mathematics) Global analysis (Mathematics) Manifolds (Mathematics) Mathematics of Computing Computational Science and Engineering Math Applications in Computer Science Analysis Global Analysis and Analysis on Manifolds |
| ISBN | 3-540-46519-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Gröbner bases: Buchberger's algorithm -- The consequence of grading -- Definitions and the relation to Gröbner bases -- Computation of a Hilbert series -- The Hilbert series driven Buchberger algorithm -- The computation with algebraic extensions -- Detection of Gröbner bases -- Dynamic Buchberger algorithm -- Elimination -- Algorithms of the computation of invariants and equivariants: Using the Hilbert series -- Invariants -- Equivariants -- Using the nullcone -- Using a homogeneous system of parameters -- Computing uniqueness -- Symmetric bifurcation theory -- Local bifurcation analysis -- An example of secondary Hopf bifurcation -- Orbit space reduction -- Exact computation of steady states -- Differential equations on the orbit space -- Using Noether normalization -- Further reading -- References -- Index. |
| Record Nr. | UNISA-996466509303316 |
|
Gatermann Karin
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Algebra Methods for Equivariant Dynamical Systems / / by Karin Gatermann
| Computer Algebra Methods for Equivariant Dynamical Systems / / by Karin Gatermann |
| Autore | Gatermann Karin |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XVIII, 162 p.) |
| Disciplina | 510 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Algebra
Computer science—Mathematics Computer mathematics Mathematical analysis Analysis (Mathematics) Global analysis (Mathematics) Manifolds (Mathematics) Mathematics of Computing Computational Science and Engineering Math Applications in Computer Science Analysis Global Analysis and Analysis on Manifolds |
| ISBN | 3-540-46519-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Gröbner bases: Buchberger's algorithm -- The consequence of grading -- Definitions and the relation to Gröbner bases -- Computation of a Hilbert series -- The Hilbert series driven Buchberger algorithm -- The computation with algebraic extensions -- Detection of Gröbner bases -- Dynamic Buchberger algorithm -- Elimination -- Algorithms of the computation of invariants and equivariants: Using the Hilbert series -- Invariants -- Equivariants -- Using the nullcone -- Using a homogeneous system of parameters -- Computing uniqueness -- Symmetric bifurcation theory -- Local bifurcation analysis -- An example of secondary Hopf bifurcation -- Orbit space reduction -- Exact computation of steady states -- Differential equations on the orbit space -- Using Noether normalization -- Further reading -- References -- Index. |
| Record Nr. | UNINA-9910146313803321 |
|
Gatermann Karin
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Mathematics [[electronic resource] ] : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks / / edited by Ruyong Feng, Wen-shin Lee, Yosuke Sato
| Computer Mathematics [[electronic resource] ] : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks / / edited by Ruyong Feng, Wen-shin Lee, Yosuke Sato |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (498 p.) |
| Disciplina | 004.0151 |
| Soggetto topico |
Computer mathematics
Computer software Computational Mathematics and Numerical Analysis Computational Science and Engineering Mathematical Software |
| ISBN | 3-662-43799-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sparse Polynomial Interpolation by Variable Shift in the Presence of Noise and Outliers in the Evaluations -- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions -- Finding the Symbolic Solution of a Geometric Problem through Numeric Computations -- A Simple Quantifier-free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms -- The vanishing ideal of a finite set of points with multiplicity structures -- Signature-based Method of Deciding Program Termination -- High-precision eigenvalue bound for the Laplacian with singularities -- Degree and dimension estimates for invariant ideals of P-solvable recurrences -- POLY : A new polynomial data structure for Maple 17 -- A Symbolic Approach to Compute a Null-Space Basis in the Projection Method -- Real Root Isolation of Polynomial Equations Based on Hybrid Computation -- Overview of the Mathemagix type system -- Resultant-Free Computation of Indefinite Hyperexponential Integrals -- ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves -- The Diagonal Reduction Algorithm Using Fast Givens -- Constructing Generalized Bent Functions from Trace Forms over Galois Rings -- Matrix Formula of Differential Resultant for First Order Generic Ordinary Differential Polynomials -- Simplification of the lattice based attack of Boneh and Durfee for RSA cryptoanalysis -- A Practical Implementation of a Modular Algorithm for Ore Polynomial Matrices -- Computing Popov Forms of Matrices over PBW Extensions -- On the simplest quartic fields and related Thue equations -- On the Implementation of Boolean Gröbner Bases -- Towards the calculation of Casimir forces for inhomogeneous planar media -- Comprehensive Gröbner Bases in a Java Computer Algebra System -- A Symbolic Approach to Compute a Null-Space Basis in the Projection Method -- Real Root Isolation of Regular Chains -- A Practical Method for Floating-point Groebner Basis Computation -- Series-Expansion of Multivariate Algebraic Functions at Singular Points: Nonmonic Case -- A Sequence of Nearest Polynomials with Given Factors -- Digitisation Workflow in the Czech Digital Mathematics Library -- The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm over Boolean Ring. |
| Record Nr. | UNINA-9910299982603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Simulations in Science and Engineering : Concepts - Practices - Perspectives / / by Juan Manuel Durán
| Computer Simulations in Science and Engineering : Concepts - Practices - Perspectives / / by Juan Manuel Durán |
| Autore | Durán Juan Manuel |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (225 pages) |
| Disciplina | 003.3 |
| Collana | The Frontiers Collection |
| Soggetto topico |
Physics
Philosophy and science Computer simulation Computer mathematics Applied mathematics Engineering mathematics Numerical and Computational Physics, Simulation Philosophy of Science Simulation and Modeling Computational Science and Engineering Mathematical and Computational Engineering |
| ISBN | 3-319-90882-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- The universe of computer simulations -- Units of analysis I: Models and computer simulations -- Units of analysis II: Laboratory experimentation and computer simulations -- Trusting computer simulations -- Epistemological functions of computer simulations -- Technological Paradigms -- Ethics and computer simulations. |
| Record Nr. | UNINA-9910739452703321 |
|
Durán Juan Manuel
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Computational Science and Engineering
(518)
- Computer mathematics (423)
- Engineering mathematics (115)
- Numerical analysis (103)
- Applied mathematics (91)