Some certified methods for Real Solving - applications in robotics
Presenter
September 15, 2006
Keywords:
- Robotics
MSC:
- 68T40
Abstract
No Abstract