• BLAS

  • Referenced in 485 articles [sw03216]
  • MACHAR software for dynamically determining machine-dependent arithmetic properties...
  • PHAVer

  • Referenced in 113 articles [sw04123]
  • constraints and the dynamics of the system. PHAVer’s exact arithmetic is robust...
  • LISP-STAT

  • Referenced in 116 articles [sw01111]
  • framework for exploring the use of dynamic graphical methods. Extensibility is achieved by basing Lisp ... Common Lisp. Lisp-Stat extends standard Lisp arithmetic operations to perform element-wise operations ... system interface forms the basis of a dynamic graphics system that is designed to work...
  • CakeML

  • Referenced in 46 articles [sw08799]
  • type checking, incremental and dynamic compilation, garbage collection, arbitrary-precision arithmetic, and compiler bootstrapping.Our contributions...
  • QSopt_ex

  • Referenced in 27 articles [sw04722]
  • also rational arithmetic. Note that if you use a dynamicly linked version of QSopt-Exact ... solver based on floating point arithmetic and available for free for research purposes. A brief...
  • Flow*

  • Referenced in 22 articles [sw20162]
  • known Taylor model arithmetic techniques for guaranteed approximations of the continuous dynamics in each mode...
  • MACHAR

  • Referenced in 22 articles [sw00539]
  • subroutine for dynamically determining thirteen fundamental parameters associated with a floating-point arithmetic system...
  • TRLan

  • Referenced in 62 articles [sw04029]
  • form convenient. Most of the arithmetic computations in the software are done through calls ... many utility functions such functions such as dynamic memory management, timing functions, random number generator...
  • Pascal-SC

  • Referenced in 30 articles [sw30417]
  • elements of this language are: arithmetic operations with controlled rounding, an optimal scalar product, functions ... procedures, functions, and operators, respectively, strings, dynamic arrays, modules. In addition, Pascal-SC provides ... basic fundamentals of the new computer arithmetic, and shows how the tools provided by Pascal...
  • InvGen

  • Referenced in 15 articles [sw09780]
  • paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen ... unique feature is in its use of dynamic analysis to make invariant generation order...
  • ACEMD

  • Referenced in 7 articles [sw21783]
  • ACEMD: Accelerated molecular dynamics simulations in the microseconds timescale. The high arithmetic performance and intrinsic ... offer a technological edge for molecular dynamics simulations. ACEMD is a production-class biomolecular dynamics...
  • KeYmaera

  • Referenced in 41 articles [sw03709]
  • which is a real-valued first-order dynamic logic for hybrid programs, a program notation ... symbolically. To overcome the complexity of real arithmetic, we integrate real quantifier elimination following...
  • EvoDyn-3s

  • Referenced in 3 articles [sw32663]
  • rest points of the dynamics using exact arithmetic, and represents them. It also provides...
  • MOBILE

  • Referenced in 9 articles [sw10866]
  • arithmetic help to implement new transmission elements, and reports on interval modeling of dynamics, which ... enhance already existing modeling software with interval arithmetic concepts...
  • CAMPARY

  • Referenced in 5 articles [sw15156]
  • multiple-precision arithmetic operations are supported. Our target applications are in chaotic dynamical systems...
  • CADAC

  • Referenced in 4 articles [sw24346]
  • floating-point arithmetic are described first. These specifications include detailed requirements for dynamic precision control...
  • exams

  • Referenced in 4 articles [sw20810]
  • dynamic generation of exercise elements. Exercise types include single-choice and multiple-choice questions, arithmetic...
  • Scarab

  • Referenced in 3 articles [sw07397]
  • dynamic addition and/or removal of constraints. In Scarab, we can use integer variables and arithmetic...
  • KeYmaeraD

  • Referenced in 0 articles [sw20142]
  • with distributed systems, they also exhibit continuous dynamics described by quantified differential equations. All serious ... procedures for real arithmetic, which can be extremely expensive. Quantified differential dynamic logic ... experimentally observed that calls to the real arithmetic decision procedure can effectively be made...
  • flatsurf

  • Referenced in 3 articles [sw34717]
  • support the investigation of geometric, algebraic and dynamical questions related to flat surfaces. By flat ... decompositions. SageMath is used to perform exact arithmetic...