search

MarineRoboticsGroup / cora

This is the official repository for the paper "Certifiably Correct Range-Aided SLAM"
14 stars 1 forks source link

Integrated LOBPCG-based fast scheme for checking a certificate matrix #14

Closed alanpapalia closed 7 months ago

alanpapalia commented 7 months ago

This is just the check of whether a given certificate matrix is PSD. Still need to actually implement the functions to form the matrix.