Inclusion functions Analytic inclusion functions Variables Expressions Function composition Evaluations Evaluation modes Interval automatic differentiation Other properties Analytic operators Operators currently available Expressions involving a non-supported centered-form operation Expressions involving a temporal operator Direct use of operators Parallelepiped inclusion function Use case Examples \(\mathbb{R}^1\to\mathbb{R}^2\) \(\mathbb{R}^2\to\mathbb{R}^3\) Thick function Related work PEIBOS Gnomonic atlas Example Use PEIBOS() Examples 2D : Henon map 3D Related work