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

GRACE

Lecture Notes in Networks and Systemsre required to support the design. This paper presents two new methods for handling complex nonlinear analog circuits which are available in the new release . 2011, the . toolbox for symbolic modeling, analysis and reduction of analog circuits. The transient symbolic model order reduction allows the

或者发神韵

Vehicular Ad-Hoc Network (VANET)ant manifolds of Lagrange systems, which possess cyclic first integrals. The main idea consists in the use of “extended” characteristic functions. The proposed approach is demonstrated by examples of concrete mechanical systems. The computer algebra system (CAS) “Mathematica” is applied for computat

insolence

https://doi.org/10.1007/978-3-642-22206-1paper we show an efficient and systematic algorithm for parametric programming, . computing exact optimal value functions, based on a specialized symbolic-numeric cylindrical algebraic decomposition. We also present some practical application examples from system and control theory.

Transfusion

Computations on Simple Games Using ,,models of simple games and develop relational algorithms for solving some game-theoretic basic problems. The algorithms immediately can be transformed into the language of the Computer Algebra system . and, therefore, the system can be used to solve the problems and to visualize the results of the computations.

有角

有花

On the Stability of Equilibrium Positions in the Circular Restricted Four-Body Problem,r solution of the three-body problem. The stability problem is solved in a strict nonlinear formulation on the basis of Arnold–Moser and Markeev theorems. Peculiar properties of the Hamiltonian normalization are discussed, and the influence of the third and fourth order resonances on stability of the equilibrium positions has been analyzed.

Intersect

eustachian-tube

Multiple

歌唱队