JuliaIntervals

Repositories

• TaylorModels.jl

  Rigorous function approximation using Taylor models in Julia
  Julia 9 32 12 4 Updated Nov 7, 2020

• JuliaIntervalsWebPage

  Webpage for the JuliaIntervals organization
  CSS 0 2 0 0 Updated Nov 2, 2020

• IntervalConstraintProgramming.jl

  Calculate rigorously the feasible region for a set of real-valued inequalities with Julia
  Julia 11 35 29 6 Updated Oct 28, 2020

• IntervalArithmetic.jl

  Rigorous floating-point calculations using interval arithmetic in Julia

  arithmetic intervals validated rigorous
  Julia 45 111 107 29 Updated Oct 26, 2020

• IntervalContractors.jl

  Interval contractors and inverse (reverse) functions for Julia

  intervals contractors reverse-functions inverse-functions
  Julia 8 5 8 3 Updated Aug 29, 2020

• IntervalOptimisation.jl

  Rigorous global optimisation in pure Julia

  julia global-optimization interval-arithmetic
  Julia 14 26 10 10 Updated Aug 2, 2020

• IntervalRootFinding.jl

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

  julia root-finding interval-arithmetic
  Julia 21 74 40 8 Updated Jun 26, 2020

• IntervalSpecialFunctions.jl

  Special functions for IntervalArithmetic.jl
  Julia 4 5 4 3 Updated May 23, 2020

• AffineArithmetic.jl

  Affine arithmetic in Julia
  Julia 2 6 12 2 Updated Mar 18, 2020

• ITF1788

  Forked from oheim/ITF1788

  Interval Test Framework for IEEE Std 1788-2015
  Python Apache-2.0 10 1 0 0 Updated Mar 10, 2020

• SetRounding.jl
  Julia 2 0 2 2 Updated Feb 29, 2020

• CharibdeOptim.jl
  Julia ISC 2 8 6 4 Updated Feb 28, 2020

• ValidatedNumerics.jl

  Rigorous floating-point calculations with interval arithmetic in Julia
  Julia 11 59 26 3 Updated Feb 22, 2020

• MPFI.jl

  Julia wrapper of the MPFI multi-precision interval library

  julia interval-arithmetic multi-precision
  Julia 2 1 0 1 Updated Feb 8, 2020

• CRlibm.jl

  Correctly-rounded mathematical functions for Julia
  Julia 5 5 4 1 Updated Feb 8, 2020

• AdjacentFloats.jl

  Forked from JeffreySarnoff/AdjacentFloats.jl

  Faster versions of nextfloat, prevfloat that work similarly.
  Julia MIT 4 0 0 0 Updated Jul 28, 2017

• FastRounding.jl

  Forked from JeffreySarnoff/FastRounding.jl

  Faster directed rounding for inline arithmetic
  Julia MIT 6 0 0 0 Updated Jul 28, 2017

• ErrorfreeArithmetic.jl

  Forked from JeffreySarnoff/ErrorfreeArithmetic.jl

  Error-free transformations are used to get results with extra accuracy.
  Julia MIT 6 0 0 0 Updated May 26, 2017

• IntervalConstraintProgrammingNotebooks

  Example notebooks for the IntervalConstraintProgramming.jl Julia package

  constraints intervals
  Jupyter Notebook 1 7 0 0 Updated May 4, 2017