• RealPaver

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

  • Referenced in 52 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 11 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...
  • 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 32 articles [sw00046]
  • ARfit is a collection of Matlab modules for...
  • ACL2

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

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

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

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

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

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

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

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

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

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

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

  • Referenced in 478 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • FreeFem++

  • Referenced in 739 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...