Algorithms of symbol computation used in stability analysis (Q5930910)
From MaRDI portal
scientific article; zbMATH DE number 1592197
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algorithms of symbol computation used in stability analysis |
scientific article; zbMATH DE number 1592197 |
Statements
Algorithms of symbol computation used in stability analysis (English)
0 references
26 April 2001
0 references
algorithms
0 references
Lyapunov functions
0 references
stability
0 references
Mathematica computer algebra system
0 references
package
0 references
