Skip to content

Pinned

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

    Julia 74 16

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

    Julia 205 58

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

    Julia 105 26

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

    Julia 56 16

  5. Rigorous global optimisation in pure Julia

    Julia 47 20

  6. Rigorous function approximation using Taylor models in Julia

    Julia 46 14

Repositories

Top languages

Loading…

Most used topics

Loading…