Commit 5066947e authored by François Bobot's avatar François Bobot
Browse files

Real example in Colibri index

parent 22fdb978
......@@ -86,14 +86,17 @@ description: "Colibri - A family of Constraint Solvers"
<div class="swiper-slide">
<div class="sidetext">
<p>COLIBRI good for because
<p>COLIBRI handles the elements at an higher level than
many other solvers. For example for each floating point
number (IEEE) it keeps its possible values in an interval, and
other flags such as if it is integral. It propagates
this information through the formula.
<p> Example:
<p> For example for the floating-point addition:
{% katex display %}
c = \pm\sqrt{a^2 + b^2}
x \oplus y = 0.1 \Rightarrow x \in [ ?;? ]
{% endkatex %}
x-y=0.1 => x \in [..;..] /\ y \in [..,..]
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment