
MapReduce
 Referenced in 250 articles
[sw00546]
 from relational algebra operators to MapReduce programs is still an open and dynamic research field...

Cinderella
 Referenced in 144 articles
[sw00127]
 dynamic geometry, Cinderella.2 has many features that broaden the scope of the program ... Compared to the old version of the program, two completely new parts were added: CindyLab ... physical experiments, and CindyScript, a highlevel programming language that allows for fast, flexible ... each of the three parts of the program (geometry, physical simulation and scripting...

Pyomo
 Referenced in 42 articles
[sw04910]
 modeling approach supported by modern AML (algebraic modeling language) tools. Pyomo is a flexible, extensible ... language. Python is a powerful and dynamic programming language that has a very clear, readable ... variables, which can be used to formulate algebraic expressions that define objectives and constraints. Moreover...

LISPSTAT
 Referenced in 116 articles
[sw01111]
 linear algebra functions. A portable window system interface forms the basis of a dynamic graphics ... Microsoft Windows. A prototypebased objectoriented programming system is used to implement the graphics...

FODDPlanner
 Referenced in 14 articles
[sw07747]
 planning with first order decision diagrams Dynamic programming algorithms have been successfully applied to propositional ... algebraic decision diagrams, to capture domain dynamics and value functions. Work on symbolic dynamic programming...

KeYmaera
 Referenced in 39 articles
[sw03709]
 that combines deductive, real algebraic, and computer algebraic prover technologies. It is an automated ... dynamic logic, which is a realvalued firstorder dynamic logic for hybrid programs...

Lugares
 Referenced in 17 articles
[sw09861]
 Windows program written in Prolog that offers a standard dynamic geometry environment and uses ... symbolic capabilities of CoCoA, a computer algebra system specialized in Groebner basis computations, or Mathematica...

SACLIB
 Referenced in 25 articles
[sw00823]
 SACLIB [4,7] library of computer algebra programs, originally derived from SAC2 [3], contains ... SACLIB’s garbage collector. Memory leaks involving dynamically allocated arrays can slow down and preclude ... SACLIB 2.1 routines for computations with real algebraic numbers [9]; the same routines are also ... unfortunate because dynamic arrays are used extensively in weakly typed computer algebra systems such...

ALDOR
 Referenced in 27 articles
[sw01220]
 used to develop a number of computer algebra libraries. Originally known as A#, Aldor ... manipulated within programs. Pervasive support for dependent types allows static checking of dynamic objects. What...

CasADi
 Referenced in 25 articles
[sw06437]
 nonlinear optimization problems in general and dynamic optimization problems in particular. To the developer ... hence more flexible, than that of algebraic modeling languages such as AMPL or GAMS ... computer algebra system (CAS) implementing automatic differentiation in eight different flavors. Similar to algebraic modeling ... numerical codes for nonlinear programming, quadratic programming and integration of differentialalgebraic equations. CasADi...

Schittkowski
 Referenced in 25 articles
[sw05205]
 needed to compute parameters of a dynamical model by a least square fit. The mathematical ... defined by ordinary differential equations, differential algebraic equations, or onedimensional partial differential equations which ... algorithms, data, and solution tolerances of the program that run under Windows 95/98/NT4.0/2000...

GEMPACK
 Referenced in 19 articles
[sw02886]
 economic model, starting from an algebraic representation of the equations of the model. These equations ... software provides a range of utility programs for handling the economic data base ... trade models, regional models and intertemporal (or dynamic) models. GEMPACK runs on a wide variety ... April 1994). Included are descriptions of: the algebralike language used to describe and document...

KMS states
 Referenced in 6 articles
[sw31679]
 program for finding all KMS states on the Toeplitz algebra of a higherrank graph ... Toeplitz algebra of a finite graph of rank k carries a natural action ... embedding of R in Tk gives a dynamics on the Toeplitz ... algebra. For inverse temperatures larger than a critical value, the KMS states for this dynamics...

Lyapunov
 Referenced in 5 articles
[sw09343]
 general class of nonlinear dynamical systems. The algorithm can be applied in the cases ... resolution of a linear programming problem. The algebraic version is implemented using the MAPLE programming...

qpDUNES
 Referenced in 13 articles
[sw13238]
 programming solver targeted at blockbanded convex QPs that arise in optimal control, dynamic optimization ... platforms. It comes with its own linear algebra module and efficient data storage formats...

MINOPT
 Referenced in 6 articles
[sw04939]
 efficient methods for solving MixedInteger Nonlinear Programming problems as well as handling numerous options ... handle dynamic models and solve problems involving both differential and algebraic constraints. The result...

APMonitor
 Referenced in 5 articles
[sw19694]
 optimization software for mixedinteger and differential algebraic equations. It is coupled with largescale ... linear, quadratic, nonlinear, and mixed integer programming (LP, QP, NLP, MILP, MINLP). Modes of operation ... include data reconciliation, realtime optimization, dynamic simulation, and nonlinear predictive control. It is freely...

dsoa
 Referenced in 6 articles
[sw01448]
 computer program dsoa, which implements an algorithm for the approximate solution of dynamics system optimization ... optimization of dynamic systems described by index1 differentialalgebraic equations (DAEs). The types ... numerical techniques are employed to transform the dynamic system optimization problem into a parameter optimization ... implicit RungeKutta method. The resultant nonlinear programming (NLP) problem is solved via a sequential...

GRASShopper
 Referenced in 5 articles
[sw23304]
 programs that manipulate dynamically allocated data structures. GRASShopper programs can be annotated with specifications expressed ... maps as well as userdefined algebraic data types, predicates, and functions...

RedHom
 Referenced in 12 articles
[sw08776]
 library implements algorithms based on geometric and algebraic reduction methods: acyclic subspace construction, elementary reductions ... programs as well as programmers who need to use homology algorithms in their own programs ... originated from research in rigorous numerics of dynamical systems based on topological methods. In particular...