Differential Resultant, Computer Algebra and Completely Integrable Dynamical Systems.
Zoia KostovaNikolay KostovVladimir GerdjikovPublished in: CASC (2010)
Keyphrases
- dynamical systems
- computer algebra
- theorem prover
- dynamic systems
- differential equations
- linear systems
- state space
- phase space
- qualitative simulation
- dynamical behavior
- control theory
- nonlinear dynamical systems
- partially observable
- predictive state representations
- computer algebra systems
- nonlinear dynamics
- dynamical models
- agent environment
- natural language
- multi agent
- artificial intelligence
- automated theorem provers
- machine learning