Computer Algebra in Scientific Computing: CASC 2000

Front Matter....Pages i-xi
Fast Matrix Computation of Subresultant Polynomial Remainder Sequences....Pages 1-11
About Simultaneous Representation of Two Natural Numbers by a Sum of Three Primes....Pages 13-20
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....Pages 21-34
Application of Computer Algebra in Problems on Stabilization of Gyroscopic Systems....Pages 35-47
Implementing Computational Services Based on OpenMath....Pages 49-60
Group Classification of the Navier-Stokes Equations for Compressible Viscous Heat-Conducting Gas....Pages 61-67
Plotting Functions and Singularities with Maple and Java on a Component-based Web Architecture....Pages 69-79
Stable Self-Oscillatory Regimes in Volterra Models of Three Populations....Pages 81-85
Computing “Small” 1-Homological Models for Commutative Differential Graded Algebras....Pages 87-100
Effective computation of algebra of derivations of Lie algebras....Pages 101-111
An I ntegration and R eduction for O rdinary N on Linear D ifferential E quations L ibrary....Pages 113-128
Complexity of Derivatives Generated by Symbolic Differentiation....Pages 129-144
An Assessment of the Efficiency of Computer Algebra Systems in the Solution of Scientific Computing Problems....Pages 145-166
On the Relation between Pommaret and Janet Bases....Pages 167-181
An (Asymptotic) Error Bound for the Evaluation of Polynomials at Roots....Pages 183-190
Three Remarks on Comprehensive Gröbner and SAGBI Bases....Pages 191-202
Computing the Cylindrical Algebraic Decomposition Adapted to a Set of Equalities....Pages 203-217
Symbolic Algorithms of Algebraic Perturbation Theory for a Hydrogen Atom: the Stark Effect....Pages 219-231
CADECOM: Computer Algebra software for functional DECOMposition....Pages 233-247
Computeralgebra and the Systematic Construction of Finite Unlabeled Structures....Pages 249-271
Heat Invariant E 2 for Nonminimal Operator on Manifolds with Torsion....Pages 273-284
Computer Algebra for Automated Performance Modeling of Fortran Programs....Pages 285-299
A Parallel Symbolic-Numerical Approach to Algebraic Curve Plotting....Pages 301-314
Parametric Analysis for a Nonlinear System....Pages 315-321
Extended Splicing System and Semigroup of Dominoes....Pages 323-334
Newton Polyhedra and the Reversible System of Ordinary Differential Equations....Pages 335-343
Condition Analysis of Overdetermined Algebraic Problems....Pages 345-365
An Algebraic Approach to Offsetting and Blending of Solids....Pages 367-381
Application of Computer Algebra Methods to Some Problems of Theoretical and Applied Celestial Mechanics....Pages 383-393
Computing the Frobenius Normal Form of a Sparse Matrix....Pages 395-407
Lessons Learned from Using CORBA for Components in Scientific Computing....Pages 409-422
Deciding Linear-Transcendental Problems....Pages 423-437
Back Matter....Pages 436-437