Titlebook: Computer Algebra in Scientific Computing CASC’99; Proceedings of the S Victor G. Ganzha,Ernst W. Mayr,Evgenii V. Vorozhts Conference procee

antedate

Solution of Ordinary Differential Equations with ,,nt symmetries and allows to construct transformations which simplify the equation prior to its solution. The method of canonical variables is closely related to the methods of first integrals and the method of first order partial differential equations. We discuss the necessary tools, the skeleton a

BILL

Analysis of Stability of Rational Approximations through Computer Algebra, has a strong connection with the linear stability theory of numerical methods for Ordinary Differential Equations. As an example of the application of this package, we analyze the periodicity properties of Padé approximations for the cosine function. Moreover, we show its usefulness in the derivati

FECK

Sarcoma

Computer Algebra Investigation of Equivalence in 4-node Plane Stress/Strain Finite Elements, including two newly formulated hybrid mixed field principles, in a 4-node plane stress/strain element was obtained. In the investigation, some known equivalence relations were confirmed; some new equivalence relations, mainly between the hybrid mixed field formulations and the others, were detected

APRON

Symmetry Theorems for the Newtonian 4- and 5-body Problems with Equal Masses,sses, using Gröbner bases. This approach is used to obtain a new symmetry theorem for the central configurations of the newtonian spatial 5-body problem with equal masses in the convex case. In fact we prove a more general statement of the theorem, valid for a class of potentials defined by function

镇痛剂

Implementation of Aerodynamic Computations with Mathematica,n curvilinear grids. We apply the method to investigation of a three-stage Runge-Kutta finite volume scheme augmented by artificial dissipator and obtain the stability condition, which is then incorporated in the Mathematica 3.0 code for aerodynamic computations. These computations for a wide range

Rheumatologist

aggravate

,Constrained Hamiltonian Systems and Gröbner Bases,nd separate them into the first and second classes we apply the modern algorithmic methods of commutative algebra based on the use of Gröbner bases. As it is shown, this makes the classical Dirac method fully algorithmic. The underlying algorithm implemented in Maple is presented and some illustrati

Lasting

考得

Partial Inverse Heuristic for the Approximate Solution of Non-linear Equations, tend to have good global convergence, and we show examples whereby obscure solutions can be discovered. This methods are only suitable for computer algebra systems, where the equations to be solved can be manipulated in symbolic form. Also, a systematic method for finding most or all solutions to n