Login / Signup

Computer algebra and investigation of invariant manifolds of mechanical systems.

V. D. IrtegovT. N. Titorenko
Published in: Math. Comput. Simul. (2004)
Keyphrases
  • computer algebra
  • mechanical systems
  • theorem prover
  • motion planning
  • gait analysis
  • computer algebra systems
  • kinematic model
  • high dimensional
  • low dimensional
  • machine learning
  • knowledge base
  • multi modal