Title | Computer Algebra in Scientific Computing CASC 2001 [electronic resource] : Proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001 / edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov |
---|---|
Imprint | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 |
Connect to | http://dx.doi.org/10.1007/978-3-642-56666-0 |
Descript | XI, 555 p. online resource |
Jets. A Maple-Package for Formal Differential Geometry -- Computing Stratifications of Quotients of Finite Groups and an Application to Shape Memory Alloy -- A MuPAD Library for Differential Equation -- Algebraic Identification Algorithm and Application to Dynamical Systems -- Cooperation Between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery -- On the Stability of Steady Motions of a Solar-Sail Satellite -- Application of Computer Algebra for Investigation of a Group Properties of the Navier-Stokes Equations for Compressible Viscous Heat-Conducting Gas -- Mathematica and Nilpotent Lie Superalgebras -- Neighborhoods of an Ordinary Linear Differential Equation -- Invariants of Finite Groups and Involutive Division -- Symbolic Computation and Boundary Conditions for the Wave Equation -- Parametric Systems of Linear Congruences -- Bifurcation Analysis of Low Resonant Case of the Generalized Henon - Heiles System -- An Involutive Reduction Method to Find Invariant Solutions for Partial Differential Equations -- Recurrence Functions and Numerical Characteristics of Graphs -- A New Combinatorial Algorithm for Large Markov Chains -- GROOME - Tool Supported Graphical Object Oriented Modelling for Computer Algebra and Scientific Computing -- Construction of Janet Bases I.Monomial Bases -- Construction of Janet Bases II.Polynomial Bases -- Low-Dimensional Quasi-Filiform Lie Algebras with Great Length -- Algebraic Methods for Sectioning Parametric Surfaces -- The Methods of Computer Algebra and the Arnold-Moser Theorem -- Symbolic Algorithms of Algebraic Perturbation Theory: Hydrogen Atom in the Field of Distant Charge -- Perturbation versus Differentiation Indices -- Employment of the Grรถbner Bases in Analysis of Systems Having Algebraic First Integrals -- โCoalgebraโ Structures on 1-Homological Models for Commutative Differential Graded Algebras -- Conservative Finite Difference Schemes for Cosymmetric Systems -- A Mathematica Solver for Two-Point Singularly-Perturbed Boundary Value Problems -- A New Algorithm for Computing Cohomologies of Lie Superalgebras -- Parallel Computing with Mathematica -- Solution of Systems of Linear Diophantine Equations -- SYMOPT: Symbolic Parametric Mathematical Programming -- Representing Graph Properties by Polynomial Ideals -- Parametric G1-Blending of Several Surfaces -- A Method of Logic Deduction and Verification in KBS Using Positive Integers -- Progressive Long Waves on a Slope (A New Solution to the Euler Equation?) -- The Method of Newton Polyhedra for Investigating Singular Positions of Some Mechanisms -- Algebraic Predicates for Empirical Data -- Fractional Driftless Fokker-Planck Equation with Power Law Diffusion Coefficients -- Factorization of Overdetermined Systems of Linear Partial Differential Equations with Finite-Dimensional Solution Space -- Semilinear Motion Planning Among Moving Objects in REDLOG -- Author Index