Skip to content


Pinned repositories

  1. Rigorous floating-point calculations with interval arithmetic in Julia

    Julia 62 12

  2. Rigorous floating-point calculations using interval arithmetic in Julia

    Julia 134 51

  3. Find all roots of a function in a guaranteed way with Julia

    Julia 83 24

  4. Calculate rigorously the feasible region for a set of real-valued inequalities with Julia

    Julia 44 13

  5. Rigorous global optimisation in pure Julia

    Julia 31 17

  6. Rigorous function approximation using Taylor models in Julia

    Julia 34 10


Top languages


Most used topics