• SmartMobile

  • Referenced in 15 articles [sw10867]
  • such software relies on (possibly erroneous) finite precision arithmetic and does not take into account...
  • Beaver

  • Referenced in 10 articles [sw00071]
  • theory of quantifier-free finite-precision bit-vector arithmetic. It supports all operators defined under...
  • DCVALID

  • Referenced in 15 articles [sw20416]
  • finite state automaton A(D) precisely accepting the finite state sequences satisfying D. The automaton...
  • NumExp

  • Referenced in 6 articles [sw16825]
  • evaluated numerically by using the multi-precision finite difference method. This elaborate expansion method works...
  • FELSOS

  • Referenced in 24 articles [sw18095]
  • finite elements permits to localize the interface precisely, without introducing any artificial parameters like...
  • SLICE

  • Referenced in 5 articles [sw30997]
  • when they are implemented in the finite-precision arithmetic of digital computers. The rounding errors...
  • betareg

  • Referenced in 46 articles [sw15449]
  • maximum likelihood regression (for both mean and precision of a beta-distributed response), bias-corrected ... bias-reduced estimation as well as finite mixture models and recursive partitioning for beta regressions...
  • IntervalArithmetic.jl

  • Referenced in 3 articles [sw29043]
  • Julia, i.e. rigorous computations with finite-precision floating-point arithmetic. All calculations are carried...
  • SPECTRODE

  • Referenced in 11 articles [sw13984]
  • high precision; we prove this for finite discrete distributions. In computational experiments SPECTRODE outperforms existing...
  • pyHybrid Analysis

  • Referenced in 2 articles [sw10940]
  • continuous domain, a class of finite precision semantics, named [epsilon]-semantics, has been proposed...
  • Givaro

  • Referenced in 7 articles [sw00354]
  • Extensions Fields, Finite Fields, Finite Rings, Polynomials, Algebraic numbers, Arbitrary precision integers and rationals...
  • RangeLab

  • Referenced in 1 article [sw38042]
  • Analyzer to Bound the Accuracy of Finite-Precision Computations. This article introduces Range...
  • MSSMOBILE

  • Referenced in 1 article [sw11704]
  • such software relies on (possibly erroneous) finite precision arithmetic and does not take into account...
  • ValidatedNumerics.jl

  • Referenced in 1 article [sw38173]
  • Julia, i.e. rigorous computations with finite-precision floating-point arithmetic, using interval arithmetic: quantities...
  • Daisy

  • Referenced in 1 article [sw40595]
  • techniques for analysis and optimization of finite-precision computations have recently garnered significant interest. Most...
  • AFEM@matlab

  • Referenced in 36 articles [sw07764]
  • matlab is a MATLAB package of adaptive finite element methods (AFEMs) for stationary and evolution ... useful for education, communication, and research. More precisely, it will (1) speed up program development...
  • PURRS

  • Referenced in 9 articles [sw05465]
  • more precise, the PURRS will solve: (a) linear constant coefficient recurrence relations of finite order...
  • Igatools

  • Referenced in 19 articles [sw12632]
  • scientific areas and applications. We provide a precise framework for a lot of loose, available ... similarities and differences between this and the finite element method. We also describe...
  • Aerosol

  • Referenced in 2 articles [sw13970]
  • team Bacchus is focused on continuous finite elements methods, while the team Cagire is focused ... code we can. More precisely, classes concerning IO, finite elements, quadrature, geometry, time iteration, linear...
  • Optim

  • Referenced in 17 articles [sw29999]
  • numbers, and input types such as arbitrary precision vectors and matrices. We have implemented routines ... they are calculated using automatic differentiation or finite difference methods. The main focus...