MIT-SPARK / STRIDE
Solver for Large-Scale Rank-One Semidefinite Relaxations
☆68Updated 2 years ago
Alternatives and similar repositories for STRIDE:
Users that are interested in STRIDE are comparing it to the libraries listed below
- Certifiable Outlier-Robust Geometric Perception☆114Updated last year
- Polynomial optimization problem solver. Uses relaxation to convert the problem into Semidefinite programming. Can be also used just as Se…☆20Updated 7 years ago
- Direct solver for sparse SPD matrices for nonlinear optimization. Implements supernodal Cholesky decomposition algorithm, and supports GP…☆88Updated last year
- A set of lightweight header-only template functions implementing commonly-used optimization methods on Riemannian manifolds and convex sp…☆101Updated last year
- ROPTLIB: Riemannian Manifold Optimization Library☆72Updated 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.☆58Updated 2 years ago
- An open-source MATLAB® ADMM solver for partially decomposable conic optimization programs.☆63Updated 5 years ago
- Hands-on Tutorial for Global Optimization in Matlab☆104Updated 5 years ago
- ManiSDP aims to efficiently solve low-rank semidefinite programs via manifold optimization.☆21Updated 2 months ago
- A Python implementation of the iterative linear-quadratic regulator for nonlinear optimal control.☆9Updated 3 years ago
- A sparse polynomial optimization tool based on the moment-SOS hierarchy.☆50Updated this week
- Codac is a library for constraint programming over reals, trajectories and sets.☆41Updated this week
- A C++ Second Order Cone Solver based on Eigen☆32Updated 3 years ago
- square root Kalman Filter using only QR decompositions☆22Updated last year
- Maximizing algebraic connectivity for graph sparsification☆64Updated 4 months ago
- MultiBody Dynamics Estimators: Particle filter and factor-graph estimators☆44Updated 9 months ago
- Code of paper "Associating Uncertainty to Extended Poses for on Lie Group IMU Preintegration with Rotating Earth"☆83Updated 4 years ago
- UKF over generalized manifold in Matlab☆30Updated 6 years ago
- Distribution and filtering on SO(3) x Euclidean space☆10Updated 2 years ago
- Attitude-Gyro bias estimation using matrix Fisher-Gaussian distributions☆12Updated 4 years ago
- Differentiable Factor Graph Optimization for Learning Smoothers @ IROS 2021☆82Updated 2 years ago
- Pure static Lie groups in Numpy, Pytorch, Jax, and C++☆28Updated 5 months ago
- Fast Fourier transform on SO(3)☆27Updated 3 years ago
- ☆25Updated 2 years ago
- Official implementation of "SCORE: Second Order Conic Initialization for RA-SLAM"☆33Updated last year
- A set of useful algebraic preconditioners for iterative numerical linear-algebraic methods.☆18Updated 2 years ago
- Certifiably globally optimal unit quaternion rotation averaging via Sparse Bounded-degree sum of squares optimization.☆16Updated 5 years ago
- Imposition of Hard Convex Constraints on Neural Networks☆78Updated last year
- Python interface for SCS☆43Updated last week
- Official MATLAB implementation of "Certifiably Correct Range-Aided SLAM"☆16Updated 9 months ago