Welcome to IBEX’s documentation!

User guide

• Installation
  • Standard install
  • Configuration options
  • Compiling a Test Program
  • Compiling a Test Program (Java interface)
  • Additional Packages
  • Running unit tests
  • Uninstall
• IbexSolve
  • Getting started
  • The output of IbexSolve
  • Solution boxes
  • Boundary boxes
  • Unknown and pending boxes
  • Solving strategy
  • Options
• IbexOpt
  • Getting started
  • The output of IbexOpt
  • Objective precision criteria
  • Return status
  • Options
  • FAQ
• The Minibex Language
  • Introduction
  • Examples
  • Overall structure
  • Real and Intervals
  • Constants
  • Variables
  • Expressions
  • Functions
  • Constraints
• Other Resources

Programmer guide

• Introduction
  • The API
  • An extended interval calculator
  • Contractor programming
  • System solving and global optimization
• Tutorial
  • Basic Interval computations
  • Functions
  • Constraints
  • Contractors
• Interval Computations
  • Intervals, vectors and matrices
  • Container operations
  • Set-membership operations
  • Geometric operations
  • Miscellaneous
  • Interval arithmetic
  • Backward arithmetic
  • Inner arithmetic
• Functions
  • Introduction
  • Interval Computations
  • Creating functions (in C++)
  • Operations on Functions
• Constraints
  • Class and Fields
  • Creating constraints (in C++)
• Systems
  • Class and Fields
  • Creating systems (in C++)
  • System Transformation
• Contractors
  • Introduction
  • Forward-Backward
  • Intersection, Union, etc.
  • Propagation
  • HC4
  • Inverse contractor
  • Shaving
  • Acid & 3BCid
  • Polytope Hull
  • Exists and ForAll
• Strategies
  • Box Properties
  • COV files
  • Bisectors
  • Cell buffers
• Solvers
  • Calling IbexSolve from C++
  • The generic solver
  • Implementing IbexSolve (the default solver)
  • Parallelizing search
• Optimizers
  • Calling IbexOpt from C++
  • Getting en enclosure of all global minima
  • The generic optimizer
  • Implementing IbexOpt (the default optimizer)
• Separators
  • Introduction
  • Separator Algebra
  • Separator for a Polygon
• Sets
  • Introduction
  • A graphical tool: Vibes
  • Set Creation
  • Set Exploration
  • File operations
  • Set Intersection
  • Set Union
  • Set Contraction
  • Set Intervals
• References
  • Articles in Journal and Conferences
  • Books
• A complete Example: SLAM with outliers
  • Introduction
  • First strategy (no outlier)
  • Second strategy (with outliers)
  • Third strategy (how can this scale?)
• Do it Yourself!
  • Set image
  • Set inversion (basic)
  • Set inversion (with contractors)
  • Set Inversion (using “Sets”)
  • Parameter Estimation
  • Parameter Estimation (advanced)
  • Stability
  • Unstructured Mapping

For Ibex developers

• Writing a plugin for Ibex
• Building packages
  • Debian package
• Miscellaneous for developers
  • Using Ninja instead of Make with CMake
  • Building the doc

Indices and tables

• Index

• Module Index

• Search Page