Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
Codac documentation
Logo

User manual

  • Introduction
  • Installation guide
    • Python installation
    • C++ installation
    • MATLAB installation
    • Performance considerations
  • Intervals
    • The Interval class
    • The IntervalVector class
    • The BoolInterval enumeration
  • Tubes
    • The TDomain class
    • The SlicedTube class
  • Linear algebra
    • Vectors, rows, matrices
    • Reliable inversions of matrices
    • Interval LU decomposition
  • Inclusion functions
    • Analytic inclusion functions
    • Analytic operators
    • Parallelepiped inclusion function
    • PEIBOS
  • Contractors, separators
    • CtcInter
    • CtcInverse
    • CtcLohner
    • CtcDist
    • CtcPolar
    • CtcVisible
    • CtcWrapper
  • Geometry
    • Geometric utilities
    • Segment
    • Polygon and ConvexPolygon
    • Zonotopes
  • Ellipsoids
    • Ellipsoid in n-dimensional space (matrix definition)
    • The Ellipsoid class
  • Visualization
    • The 2D Figure classes
    • 2D drawing functions
    • Styles, colors and color maps
    • The VIBes viewer
    • The IPE editor
    • 2D graphical example
    • The 3D Figure class
    • 3D graphical example
  • Tools
    • Binary serialization
    • Transformation estimation
    • Octahedral symmetries
    • Sampled trajectories
    • Multi-threading
  • Codac extensions
    • SymPy (for symbolic mathematics)
    • CAPD (rigorous numerics in dynamical systems)
      • CAPD (rigorous numerics in dynamical systems)
      • PEIBOS-CAPD

Tutorial

  • State estimation
    • Lesson A: Range and bearing
    • Lesson B: Data association
    • Lesson C: Dynamic loc.
    • Lesson D: Range-only SLAM
    • Lesson E: Tile-based loc.

Development

  • Information for developers
  • Common issues
  • Changelog
  • C++ API
  • Old version (Codac V1)
Back to top
View this page

Tools

  • Binary serialization
  • Transformation estimation
  • Octahedral symmetries
  • Sampled trajectories
  • Multi-threading
Next
Binary serialization
Previous
3D graphical example
Copyright © Codac Team
Made with Sphinx and @pradyunsg's Furo