• RealPaver

  • Referenced in 50 articles [sw04401]
  • feature is to combine several methods from various fields: interval fixed-point operators, constraint propagation...
  • SpaceEx

  • Referenced in 63 articles [sw10939]
  • with piecewise affine, non-deterministic dynamics. It combines polyhedra and support function representations of continuous ... spaceex.imag.fr. Experimental results of full fixed-point computations with hybrid systems with more than...
  • CARS

  • Referenced in 12 articles [sw13525]
  • geometric way by specifying their fixed-points and their multiplier. CARS can show the axis ... written as words of other transformations. Using Combination Theorems, CARS can build Fuchsian groups corresponding...
  • PGR

  • Referenced in 1 article [sw32854]
  • combining components from a library of parametrized arithmetic modules; these modules implement fixed-point, floating...
  • PowerForms

  • Referenced in 4 articles [sw01540]
  • HTML and JavaScript that works on all combinations of platforms and browsers. The definitions ... clean semantics defined through a fixed-point process that resolves the interdependencies between all field...
  • UppSAT

  • Referenced in 1 article [sw26289]
  • predefined approximation components which can be combined and extended to define new encodings, orderings ... floating-point arithmetic into reduced precision floating-point arithmetic, real-arithmetic, and fixed-point arithmetic ... disadvantages of approximating solvers obtained by combining various encodings and decision procedures...
  • ARfit

  • Referenced in 34 articles [sw00046]
  • ARfit is a collection of Matlab modules for...
  • ACL2

  • Referenced in 273 articles [sw00060]
  • ACL2 is both a programming language in which...
  • LAPACK

  • Referenced in 1579 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LSQR

  • Referenced in 340 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • Magma

  • Referenced in 2672 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • MATCONT

  • Referenced in 322 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

  • Referenced in 5658 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11343 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • NAG

  • Referenced in 373 articles [sw00610]
  • Produced by experts for use in a variety...
  • R

  • Referenced in 7468 articles [sw00771]
  • R is a language and environment for statistical...
  • UMFPACK

  • Referenced in 323 articles [sw00989]
  • An ANSI C code for sparse LU factorization...
  • APL

  • Referenced in 72 articles [sw01165]
  • APL (named after the book A Programming Language...
  • ADINA

  • Referenced in 127 articles [sw01175]
  • ADINA R&D, Inc. was founded in 1986...