Using Computer Algebra Tools to Classify Serial Manipulators.

Solen Corvez Fabrice Rouillier

Published in: Automated Deduction in Geometry (2002)

Keyphrases

computer algebra
automated theorem provers
theorem prover
information technology
master slave
building blocks
learning systems
adaptive control
software tools
user friendly
automatic classification
robotic systems
real time
path planning
dynamic environments
decision support
e learning