
BLAS
 Referenced in 485 articles
[sw03216]
 MACHAR software for dynamically determining machinedependent arithmetic properties...

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

LISPSTAT
 Referenced in 116 articles
[sw01111]
 framework for exploring the use of dynamic graphical methods. Extensibility is achieved by basing Lisp ... Common Lisp. LispStat extends standard Lisp arithmetic operations to perform elementwise 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, arbitraryprecision 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 QSoptExact ... 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 floatingpoint 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...

PascalSC
 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, PascalSC 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 productionclass biomolecular dynamics...

KeYmaera
 Referenced in 41 articles
[sw03709]
 which is a realvalued firstorder dynamic logic for hybrid programs, a program notation ... symbolically. To overcome the complexity of real arithmetic, we integrate real quantifier elimination following...

EvoDyn3s
 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]
 multipleprecision arithmetic operations are supported. Our target applications are in chaotic dynamical systems...

CADAC
 Referenced in 4 articles
[sw24346]
 floatingpoint 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 singlechoice and multiplechoice 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...