codac
1.5.6
Codac main page
Try Codac online with Python
Installing the Codac library
Start a Python project
Start a C++ project
Start a MATLAB project
User manual
Introduction
Basic structures for real values
Domains: sets of feasible values
Inclusion functions
Static contractors
Temporal contractors
Contractor Networks
Set-inversion and separators
Graphical tools
FAQ: Frequently Asked Questions
See also: codac-unsupported
Set4MOST
Examples
Tutorial JNRR23
JNRR-1. Intervals and contractors
JNRR-2. Static range-only localization
JNRR-3. Towards SLAM
Tutorial for mobile robotics
Main page
Introduction
A. Intervals and contractors
B. Static range-only localization
C. Static range-bearing localization
D. Building our own contractor
E. Hello tubes
F. Asynchronous measurements
G. Localization with data association
H. Range-only SLAM
Use cases
Lie symmetries for guaranteed integ.
Pose estimation with range-only obs.
Development
Changelog
C++ API technical documentation
Information for developers
codac
Index
Index