MIT-SPARK / STRIDE
Solver for Large-Scale Rank-One Semidefinite Relaxations
☆66Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for STRIDE
- Certifiable Outlier-Robust Geometric Perception☆110Updated 11 months ago
- A set of lightweight header-only template functions implementing commonly-used optimization methods on Riemannian manifolds and convex sp…☆97Updated last year
- Hands-on Tutorial for Global Optimization in Matlab☆104Updated 4 years ago
- This is the working repository for the CSDP project. CSDP is a solver for semidefinite programming problems. It is a COIN-OR project.☆57Updated 2 years ago
- Polynomial optimization problem solver. Uses relaxation to convert the problem into Semidefinite programming. Can be also used just as Se…☆20Updated 6 years ago
- ManiSDP aims to efficiently solve low-rank semidefinite programs via manifold optimization.☆18Updated 3 months ago
- Direct solver for sparse SPD matrices for nonlinear optimization. Implements supernodal Cholesky decomposition algorithm, and supports GP…☆85Updated last year
- UKF over generalized manifold in Matlab☆30Updated 6 years ago
- square root Kalman Filter using only QR decompositions☆20Updated last year
- Distribution and filtering on SO(3) x Euclidean space☆10Updated 2 years ago
- Codac is a library for constraint programming over reals, trajectories and sets.☆39Updated this week
- A Python implementation of the iterative linear-quadratic regulator for nonlinear optimal control.☆9Updated 3 years ago
- Fast Fourier transform on SO(3)☆27Updated 2 years ago
- ROPTLIB: Riemannian Manifold Optimization Library☆70Updated 4 years ago
- Attitude-Gyro bias estimation using matrix Fisher-Gaussian distributions☆12Updated 3 years ago
- Differentiable Factor Graph Optimization for Learning Smoothers @ IROS 2021☆80Updated last year
- A sparse polynomial optimization tool based on the moment-SOS hierarchy.☆40Updated last week
- Official implementation of "SCORE: Second Order Conic Initialization for RA-SLAM"☆32Updated 10 months ago
- An open-source MATLAB® ADMM solver for partially decomposable conic optimization programs.☆63Updated 5 years ago
- The analysis and implementation of SO3 log map, and its jacobians. The special focus on edge cases (angle close to 0 or \pi).☆22Updated last year
- MultiBody Dynamics Estimators: Particle filter and factor-graph estimators☆43Updated 5 months ago
- Pure static Lie groups in Numpy, Jax, and C++☆26Updated 2 months ago
- Clique recycling non-Gaussian (multi-modal) factor graph solver; also see Caesar.jl.☆72Updated 2 weeks ago
- tensorflow code for differentiable filtering☆27Updated 3 years ago
- Maximizing algebraic connectivity for graph sparsification☆61Updated last week
- Robust robotic localization and mapping, together with NavAbility(TM). Reach out to info@wherewhen.ai for help.☆186Updated this week
- Certifiably globally optimal unit quaternion rotation averaging via Sparse Bounded-degree sum of squares optimization.☆16Updated 5 years ago
- CLEAR algorithm for multi-view data association☆35Updated 4 years ago
- ☆17Updated 4 years ago
- Code of paper "Associating Uncertainty to Extended Poses for on Lie Group IMU Preintegration with Rotating Earth"☆80Updated 4 years ago