快速的符号计算、代码生成以及机器人领域的非线性优化。
Fast symbolic computation, code generation, and nonlinear optimization for robotics
