Welcome to IBEX’s documentation!

The Core Library

• Introduction
  • The API
  • An extended interval calculator
  • Contractor programming
  • System solving and global optimization
• Installation (Release 2.4)
  • Standard install
  • Configuration options
  • Compiling a Test Program
  • Uninstall
  • Troubleshooting
• Installation (Release 2.3)
  • Linux and MacOS
  • Windows
  • Configuration options
  • Troubleshooting
• Installation (Release 2.2)
  • Linux and MacOS
  • Windows
  • Configuration options
  • Troubleshooting
• Tutorial
  • Basic Interval computations
  • Functions
  • Constraints
  • Contractors
  • Strategies
• 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
• The Minibex Language
  • Introduction
  • Examples
  • Overall structure
  • Real and Intervals
  • Constants
  • Variables
  • Expressions
  • Functions
  • Constraints
• Contractors
  • Introduction
  • Forward-Backward
  • Intersection, Union, etc.
  • Propagation
  • HC4
  • Inverse contractor
  • Shaving
  • Acid & 3BCid
  • Polytope Hull
  • Exists and ForAll
• 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
• Strategies (under construction)
  • Bisectors
  • Cell buffers
• 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

IbexOpt Plugin

• Installation (IbexOpt with Ibex 2.4)
  • Standard install
  • Configuration options
  • Compiling and running programs
  • Troubleshooting
• Installation (IbexOpt with Ibex 2.3)
  • Linux and MacOS
  • Windows
  • Configuration options
  • Troubleshooting
• Tutorial (IbexOpt)
  • Getting started
  • Solver
  • Global Optimizer

Java Plugin (for Choco)

• Installation (Java Plugin for Choco with Ibex 2.4)
  • Standard install
  • Configuration options
  • Troubleshooting
• Installation (Java Plugin for Choco with Ibex 2.3)
  • Linux and MacOS
  • Windows
  • Configuration options
  • Troubleshooting

Indices and tables

• Index
• Module Index
• Search Page