Computer Algebra in Scientific Computing
10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings
Herausgegeben:Ganzha, Victor G.; Mayr, E. W.; Vorozhtsov, E. V.
Computer Algebra in Scientific Computing
10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings
Herausgegeben:Ganzha, Victor G.; Mayr, E. W.; Vorozhtsov, E. V.
- Broschiertes Buch
Andere Kunden interessierten sich auch für
- V.G. Ganzha / E.W. Mayr / E.V. VorozhtsovComputer Algebra in Scientific Computing42,99 €
- Computer Algebra in Scientific Computing37,99 €
- Victor G. Ganzha / Ernst W. Mayr / Evgenii V. Vorozhtsov (eds.)Computer Algebra in Scientific Computing42,99 €
- Computer Algebra in Scientific Computing37,99 €
- Hongbo Li / Peter J. Olver / Gerald Sommer (eds.)Computer Algebra and Geometric Algebra with Applications42,99 €
- Computer Algebra in Scientific Computing37,99 €
- MirankerAccurate Scientific Computations42,99 €
-
-
-
Produktdetails
- Theoretical Computer Science and General Issues 4770
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-75186-1
- Seitenzahl: 460
- Englisch
- Abmessung: 25mm x 155mm x 235mm
- Gewicht: 721g
- ISBN-13: 9783540751861
- ISBN-10: 3540751866
- Artikelnr.: 23110686
- Herstellerkennzeichnung Die Herstellerinformationen sind derzeit nicht verfügbar.
Prof. Dr. Victor Ganzha lehrt am Fachbereich Mathematik/Informatik der Universität-GH Kassel. Er beschäftigt sich mit symbolisch-numerischen Methoden.
Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation.- Computations in Modules over Commutative Domains.- Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds.- An Efficient LLL Gram Using Buffered Transformations.- On the Computation of A ???-Maps.- Algebraic Visualization of Relations Using RelView.- Comprehensive Triangular Decomposition.- Stability Investigation of a Difference Scheme for Incompressible Navier-Stokes Equations.- A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in the Magnetic Field: Cylindrical Coordinates.- An Algorithm for Construction of Normal Forms.- Computer Algebra: A 'Classical' Path to Explore Decoherence and Entanglement Phenomena in Quantum Information Theory.- Deducing the Constraints in the Light-Cone SU(3) Yang-Mills Mechanics Via Gröbner Bases.- On the Weight Spectra of Conway Matrices Related to the Non-transitive Head-or-Tail Game.- Properties of the Liapunov Stability Zones of the Lagrange Triangle.- Studying the Stability of the Second Order Non-autonomous Hamiltonian System.- On the Peculiar Properties of Families of Invariant Manifolds of Conservative Systems.- A Unified Algorithm for Multivariate Analytic Factorization.- On the Computation of the Defining Polynomial of the Algebraic Riccati Equation.- Symmetries and Dynamics of Discrete Systems.- Exact Solutions of Completely Integrable Systems and Linear ODE's Having Elliptic Function Coefficients.- Dynamics of Nonlinear Parabolic Equations with Cosymmetry.- Weak Integer Quantifier Elimination Beyond the Linear Case.- Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors.- Ruppert Matrix as Subresultant Mapping.- Construction ofComputer System for Microobjects Recognition Based on Neural Networks.- Analytical Solution for Transient Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra.- Some Elimination Problems for Matrices.- A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form.- Automatic Stability Analysis for a Diffusion Equation with Memories Using Maple.- Bounds for Real Roots and Applications to Orthogonal Polynomials.- Distance Computation from an Ellipsoid to a Linear or a Quadric Surface in IR n .- Robust Stability for Parametric Linear ODEs.- Symbolic and Algebraic Methods for Linear Partial Differential Operators.- A New Scheme for Deniable/Repudiable Authentication.- An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks.- On the Representation of the Differential Operator in Bases of Periodic Coiflets and It's Application.
Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation.- Computations in Modules over Commutative Domains.- Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds.- An Efficient LLL Gram Using Buffered Transformations.- On the Computation of A ???-Maps.- Algebraic Visualization of Relations Using RelView.- Comprehensive Triangular Decomposition.- Stability Investigation of a Difference Scheme for Incompressible Navier-Stokes Equations.- A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in the Magnetic Field: Cylindrical Coordinates.- An Algorithm for Construction of Normal Forms.- Computer Algebra: A 'Classical' Path to Explore Decoherence and Entanglement Phenomena in Quantum Information Theory.- Deducing the Constraints in the Light-Cone SU(3) Yang-Mills Mechanics Via Gröbner Bases.- On the Weight Spectra of Conway Matrices Related to the Non-transitive Head-or-Tail Game.- Properties of the Liapunov Stability Zones of the Lagrange Triangle.- Studying the Stability of the Second Order Non-autonomous Hamiltonian System.- On the Peculiar Properties of Families of Invariant Manifolds of Conservative Systems.- A Unified Algorithm for Multivariate Analytic Factorization.- On the Computation of the Defining Polynomial of the Algebraic Riccati Equation.- Symmetries and Dynamics of Discrete Systems.- Exact Solutions of Completely Integrable Systems and Linear ODE's Having Elliptic Function Coefficients.- Dynamics of Nonlinear Parabolic Equations with Cosymmetry.- Weak Integer Quantifier Elimination Beyond the Linear Case.- Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors.- Ruppert Matrix as Subresultant Mapping.- Construction ofComputer System for Microobjects Recognition Based on Neural Networks.- Analytical Solution for Transient Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra.- Some Elimination Problems for Matrices.- A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form.- Automatic Stability Analysis for a Diffusion Equation with Memories Using Maple.- Bounds for Real Roots and Applications to Orthogonal Polynomials.- Distance Computation from an Ellipsoid to a Linear or a Quadric Surface in IR n .- Robust Stability for Parametric Linear ODEs.- Symbolic and Algebraic Methods for Linear Partial Differential Operators.- A New Scheme for Deniable/Repudiable Authentication.- An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks.- On the Representation of the Differential Operator in Bases of Periodic Coiflets and It's Application.