Title | Computer Algebra in Scientific Computing [electronic resource] : CASC 2000 / edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov |
---|---|
Imprint | Berlin, Heidelberg : Springer Berlin Heidelberg, 2000 |
Connect to | http://dx.doi.org/10.1007/978-3-642-57201-2 |
Descript | XI, 439 p. 23 illus. online resource |
Fast Matrix Computation of Subresultant Polynomial Remainder Sequences -- About Simultaneous Representation of Two Natural Numbers by a Sum of Three Primes -- On a Description of Irreducible Component in the Set of Nilpotent Leibniz Algebras Containing the Algebra of Maximal Nilindex, and Classification of Graded Filiform Leibniz Algebras -- Application of Computer Algebra in Problems on Stabilization of Gyroscopic Systems -- Implementing Computational Services Based on OpenMath -- Group Classification of the Navier-Stokes Equations for Compressible Viscous Heat-Conducting Gas -- Plotting Functions and Singularities with Maple and Java on a Component-based Web Architecture -- Stable Self-Oscillatory Regimes in Volterra Models of Three Populations -- Computing โSmallโ 1-Homological Models for Commutative Differential Graded Algebras -- Effective computation of algebra of derivations of Lie algebras -- An Integration and Reduction for Ordinary Non Linear Differential Equations Library -- Complexity of Derivatives Generated by Symbolic Differentiation -- An Assessment of the Efficiency of Computer Algebra Systems in the Solution of Scientific Computing Problems -- On the Relation Between Pommaret and Janet Bases -- An (Asymptotic) Error Bound for the Evaluation of Polynomials at Roots -- Three Remarks on Comprehensive Grรถbner and SAGBI Bases -- Computing the Cylindrical Algebraic Decomposition Adapted to a Set of Equalities -- Symbolic Algorithms of Algebraic Perturbation Theory for a Hydrogen Atom: the Stark Effect -- CADECOM: Computer Algebra software for functional DECOMposition -- Computeralgebra and the Systematic Construction of Finite Unlabeled Structures -- Heat Invariant E2 for Nonminimal Operator on Manifolds with Torsion -- Computer Algebra for Automated Performance Modeling of Fortran Programs -- A Parallel Symbolic-Numerical Approach to Algebraic Curve Plotting -- Parametric Analysis for a Nonlinear System -- Extended Splicing System and Semigroup of Dominoes -- Newton Polyhedra and the Reversible System of Ordinary Differential Equations -- Condition Analysis of Overdetermined Algebraic Problems -- An Algebraic Approach to Offsetting and Blending of Solids -- Application of Computer Algebra Methods to Some Problems of Theoretical and Applied Celestial Mechanics -- Computing the Frobenius Normal Form of a Sparse Matrix -- Lessons Learned from Using CORBA for Components in Scientific Computing -- Deciding Linear-Transcendental Problems -- Author Index