Login / Signup
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