Computer algebra and problems of motion stability

DOI10.1016/S0378-4754(01)00336-6zbMath1001.70002MaRDI QIDQ5950175

Larissa Bourlakova, Andrei V. Banshchikov

Publication date: 15 December 2002

Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)

zbMATH Keywords

stabilitydecompositionLyapunov functionscomputer algebra systemactive gravitational stabilizerfirst approximationgyroscopic forcesLyapunov's second methodorbited satellitepotential systems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Stability for nonlinear problems in mechanics (70K20) Computational methods for problems pertaining to mechanics of particles and systems (70-08) Orbital mechanics (70M20)

Related Items (2)

PRECISION CALIBRATION OF A DIFFERENTIAL-MATRIX MODEL OF RESONANT OSCILLATIONS OF THE SUPER-EXTENDED BUILDING CONSTRUCTION ⋮ Parametric Analysis of Stability Conditions for a Satellite with Gyrodines

Uses Software

• Mathematica

Cites Work

• Testing stability by quantifier elimination
• Information/research system ``stability
• Stability analysis by quantifier elimination.
• Algorithms of symbol computation used in stability analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computer algebra and problems of motion stability