manif

收录理由

机器人状态估计的代码里，旋转和平移的复合运算往往不能像普通向量那样直接处理，许多工程问题恰恰从这里开始变得棘手。manif 把李群中常用的 SO(3)、SE(3) 以及扩展位姿群封装成轻量的 C++11 类型，底层依赖 Eigen，接入已有项目时不必改动构建体系，而且对常见操作都提供了解析形式的雅可比矩阵。这一点在手写扩展卡尔曼滤波或优化残差时尤其省力，省去了大量推导和验证的工夫。它还带有 Python 绑定，可以先在 Python 里快速验证算法，再把同一套运算搬到 C++ 部署流程中，减少了跨语言重写的成本。对于做 SLAM、里程计或惯性导航的机器人团队来说，它让开发者把精力集中在估计问题本身，而不是反复推导群上的数学公式。