Titlebook: Computer Algebra in Scientific Computing; 20th International W Vladimir P. Gerdt,Wolfram Koepf,Evgenii V. Vorozht Conference proceedings 20

无聊点好

excursion

Vitalian A. Danciu,Martin G. Metzker investigated. Our approach combines methods of symbolic study of the nonlinear algebraic system that determines equilibrium orientations of a satellite under the action of the external torques and numerical integration of the system of linear ordinary differential equations describing the dynamics

Asperity

Rice production and climate changewhere for each coefficient we prescribe its sign. We are interested in the existence of positive real solutions of our system for all choices of coefficients subject to our sign conditions. We give a decision procedure for the existence of such solutions. In the positive case our procedure yields a

uveitis

B. A. Keating,R. L. McCown,B. M. Wafulae from gas dynamics and describe adiabatical motions of a compressible gas cloud with homogeneous deformation. We study the mechanical analog of this gas dynamical system – the rotational motion of a spheroidal rigid body around a fixed point in a potential force field described by an irrational fun

讥讽

Statins

Metamorphosis

decode

Rongzhen Tian,Yanfeng Liu,Long LiuWe study, by means of a fragment of theory about noncommutative differential equations, existence and unicity of Drinfel’d solutions . (with asymptotic conditions). From there, we give examples of Drinfel’d series with rational coefficients.

CLASP

Rice production and climate changeWe explain how to compute all the solutions of a nonlinear integer problem using the algebraic test-sets associated to a suitable linear subproblem. These test-sets are obtained using Gröbner bases. The main advantage of this method, compared to other available alternatives, is its exactness within a quite good efficiency.

水槽

D. Bachelet,J. van Sickle,C. A. GayIn this paper, we propose a new method for localization of polynomial ideal, which we call “Local Primary Algorithm”. For an ideal . and a prime ideal ., our method computes a .-primary component of . after checking if . is associated with . by using . (. : (. : .)) and its variants which give us a lot of information about localization of ..