• GNU Fortran

  • Referenced in 4 articles [sw00959]
  • development of hardware support for interval arithmetic. This paper describes modifications made ... Fortran compiler to provide support for interval arithmetic. These modifications are based on a recently ... proposed Fortran 77 interval arithmetic specification, which provides a standard for supporting interval arithmetic...
  • ACETAF

  • Referenced in 7 articles [sw00014]
  • from some of its modifications. Interval arithmetic is used to obtain rigorous results...
  • CoStLy

  • Referenced in 7 articles [sw00163]
  • ranges is presented. Rectangular complex interval arithmetic is used for the computations. In the CoStLy...
  • intpakX

  • Referenced in 11 articles [sw00445]
  • intpakX includes the four basic arithmetic operators, including extended interval division as an extra function ... complex disc arithmetic. As applications, verified computation of zeroes (Interval Newton Method) with the possibility...
  • xrc

  • Referenced in 5 articles [sw05916]
  • implementation of lazy exact real arithmetic in C. It is an alternative to multiple-precision ... sure of the final result. Interval arithmetic is an improvement on this, but still ... ideal solution because if the final interval is larger than desired, there is no simple ... higher precision. By constrast, in exact real arithmetic no precision level is set in advance...
  • b4m

  • Referenced in 5 articles [sw04005]
  • BIAS for Matlab): Interval Arithmetic Toolbox...
  • DSI Toolbox

  • Referenced in 3 articles [sw09588]
  • floating point arithmetic and do not consider the inherently interval-based nature ... ideas with those from interval arithmetic. An additional advantage of employing interval methods ... Toolbox. DSI extends IPP using interval arithmetic and simultaneously takes care of the rounding errors...
  • CADAC

  • Referenced in 4 articles [sw24346]
  • specifications for carrying out ”ideal” floating-point arithmetic are described first. These specifications include detailed ... handling, along with both complex and interval arithmetic at the level of a programming language...
  • Moore

  • Referenced in 2 articles [sw18032]
  • Moore: Interval Arithmetic in Modern C++. We present the library Moore, which implements Interval Arithmetic ... approach for implementing interval arithmetic libraries...
  • IntervalArithmetic.jl

  • Referenced in 2 articles [sw29043]
  • IntervalArithmetic.jl: Rigorous oating-point calculations using interval arithmetic in Julia. IntervalArithmetic.jl is a Julia package ... calculations are carried out using interval arithmetic: all quantities are treated as intervals, which...
  • INT

  • Referenced in 3 articles [sw23776]
  • semantic checking. An interval arithmetic package, INT, which generalizes previous interval packages by using information...
  • InC++

  • Referenced in 3 articles [sw22627]
  • function evaluation and constraint satisfaction. Classical interval arithmetic (IA) (Moore, 1966) is extended by open...
  • Intsolver

  • Referenced in 3 articles [sw08787]
  • functions based on interval arithmetic to solve small size global optimization problems with guaranteed bounds...
  • TopDeg

  • Referenced in 3 articles [sw12573]
  • Effective Topological Degree Computation Based on Interval Arithmetic...
  • PolyPaver

  • Referenced in 3 articles [sw08771]
  • specification can feature inclusions between interval arithmetic expressions. Second, the integral operator from classical analysis ... approximation of non-linear real and real-interval functions defined by expressions. The PolyPaver tool...
  • CAMPARY

  • Referenced in 3 articles [sw15156]
  • develop CAMPARY: a multiple-precision floating-point arithmetic library using the CUDA programming language ... This allows as well for an interval arithmetic. Currently, all basic multiple-precision arithmetic operations...
  • Easyval

  • Referenced in 1 article [sw05444]
  • very basic implementation of interval arithmetic, using hardware doubles as interval bounds. The first target ... this library is that the interval arithmetic containment criterium is respected...
  • Octave Interval

  • Referenced in 1 article [sw13236]
  • interval package for real-valued interval arithmetic allows one to evaluate functions over subsets ... their domain. All results are verified, because interval computations automatically keep track of any errors ... used to handle uncertainties, estimate arithmetic errors and produce reliable results. Also ... IEEE standard for interval arithmetic. Related software: INTLAB, C-XSC, filib...
  • SAM

  • Referenced in 1 article [sw04882]
  • Stochastic arithmetic in multiprecision Floating-point arithmetic precision is limited in length the IEEE single ... still occur and must be controlled. Interval arithmetic has been implemented in arbitrary precision ... instance in the MPFI library. Interval arithmetic provides guaranteed results, but it is not well...