MIT-SPARK / STRIDE
Solver for Large-Scale Rank-One Semidefinite Relaxations
☆66Updated last year
Related projects: ⓘ
- Certifiable Outlier-Robust Geometric Perception☆107Updated 9 months ago
- Polynomial optimization problem solver. Uses relaxation to convert the problem into Semidefinite programming. Can be also used just as Se…☆18Updated 6 years ago
- A set of lightweight header-only template functions implementing commonly-used optimization methods on Riemannian manifolds and convex sp…☆94Updated 10 months ago
- ManiSDP aims to efficiently solve low-rank semidefinite programs via manifold optimization.☆16Updated last month
- Direct solver for sparse SPD matrices for nonlinear optimization. Implements supernodal Cholesky decomposition algorithm, and supports GP…☆83Updated 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.☆54Updated 2 years ago
- An open-source MATLAB® ADMM solver for partially decomposable conic optimization programs.☆63Updated 4 years ago
- Codac is a library for constraint programming over reals, trajectories and sets.☆39Updated 4 months ago
- Fast Fourier transform on SO(3)☆27Updated 2 years ago
- UKF over generalized manifold in Matlab☆30Updated 6 years ago
- A C++ Second Order Cone Solver based on Eigen☆32Updated 3 years ago
- square root Kalman Filter using only QR decompositions☆19Updated last year
- Attitude-Gyro bias estimation using matrix Fisher-Gaussian distributions☆11Updated 3 years ago
- Pure static Lie groups in Numpy, Jax, and C++☆22Updated this week
- The analysis and implementation of SO3 log map, and its jacobians. The special focus on edge cases (angle close to 0 or \pi).☆22Updated 9 months ago
- Maximizing algebraic connectivity for graph sparsification☆58Updated last month
- ROPTLIB: Riemannian Manifold Optimization Library☆68Updated 4 years ago
- tensorflow code for differentiable filtering☆27Updated 3 years ago
- Distribution and filtering on SO(3) x Euclidean space☆10Updated 2 years ago
- A state estimation package for Lie groups!☆150Updated 3 weeks ago
- A Jupyter-notebook based article investigating (useful parameter settings for) the Unscented Kalman Filter (UKF).☆28Updated 8 years ago
- Lie theory for robotics☆173Updated 3 months ago
- MultiBody Dynamics Estimators: Particle filter and factor-graph estimators☆42Updated 3 months ago
- Differentiable Factor Graph Optimization for Learning Smoothers @ IROS 2021☆78Updated last year
- A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs☆54Updated last week
- MIT 16.S498: Risk Aware and Robust Nonlinear Planning (rarnop) by Ashkan Jasour☆60Updated 2 years ago
- Code of paper "Associating Uncertainty to Extended Poses for on Lie Group IMU Preintegration with Rotating Earth"☆79Updated 4 years ago
- Clique recycling non-Gaussian (multi-modal) factor graph solver; also see Caesar.jl.☆72Updated last week
- Library for nonconvex constrained optimization using the augmented Lagrangian method and the matrix-free PANOC algorithm.☆66Updated last month