• 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 high-level 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...
  • LISP-STAT

  • Referenced in 116 articles [sw01111]
  • linear algebra functions. A portable window system interface forms the basis of a dynamic graphics ... Microsoft Windows. A prototype-based object-oriented programming system is used to implement the graphics...
  • FODD-Planner

  • 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 real-valued first-order 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 SAC-2 [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 differential-algebraic 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 one-dimensional 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 algebra-like 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 higher-rank 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 non-linear 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 block-banded 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 Mixed-Integer 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 mixed-integer and differential algebraic equations. It is coupled with large-scale ... linear, quadratic, nonlinear, and mixed integer programming (LP, QP, NLP, MILP, MINLP). Modes of operation ... include data reconciliation, real-time 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 index-1 differential-algebraic equations (DAEs). The types ... numerical techniques are employed to transform the dynamic system optimization problem into a parameter optimization ... implicit Runge-Kutta 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 user-defined 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...