
Octave
 Referenced in 304 articles
[sw00646]
 batchoriented language. Octave has extensive tools for solving common numerical linear algebra problems, finding...

Pyomo
 Referenced in 66 articles
[sw04910]
 modeling approach supported by modern AML (algebraic modeling language) tools. Pyomo is a flexible, extensible ... fullfeatured scripting language. Python is a powerful and dynamic programming language that ... very clear, readable syntax and intuitive object orientation. Pyomo includes Python classes for defining sparse ... variables, which can be used to formulate algebraic expressions that define objectives and constraints. Moreover...

Modelica
 Referenced in 125 articles
[sw04352]
 Modelica is a freely available, objectoriented language for modeling of large, complex, and heterogeneous ... hydraulic control and state machine subsystems, process oriented applications and generation and distribution of electric ... Modelica are mathematically described by differential, algebraic and discrete equations. No particular variable needs...

LISPSTAT
 Referenced in 117 articles
[sw01111]
 basing LispStat on the Lisp language, in particular on a subset of Common Lisp ... variety of basic statistical and linear algebra functions. A portable window system interface forms ... Microsoft Windows. A prototypebased objectoriented programming system is used to implement the graphics ... customized and adapted. The objectoriented programming system is also used as the basis...

SYMMETRICA
 Referenced in 26 articles
[sw00939]
 collection of routines, written in the programming language C, through which the user can readily ... facilitated by Symmetrica’s object oriented style. Computer algebra system...

Maria
 Referenced in 19 articles
[sw04127]
 level Petri nets with fairness constraints. The algebra contains powerful builtin data types ... programs written in procedural or objectoriented languages, or highlevel specifications such...

ALDOR
 Referenced in 27 articles
[sw01220]
 computer algebra libraries. Originally known as A#, Aldor was conceived as an extension language ... many difficulties encountered in widelyused objectoriented programming languages. It allows programs...

JAS
 Referenced in 15 articles
[sw05877]
 object oriented, type safe, multithreaded approach to computer algebra. JAS provides a well designed ... generic types for algebraic computations implemented in the Java programming language. The library...

PMLP
 Referenced in 3 articles
[sw31030]
 linear algebraicoriented algorithms for scientists and engineers. Language bindings for C, Fortran...

CCPi
 Referenced in 29 articles
[sw15033]
 Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements ... joining different SLA requirements. Our language combines two basic programming paradigms: namepassing calculi ... that equip classical constraints with a suitable algebraic structure providing a richer mechanism of constraint...

MRSTAD
 Referenced in 24 articles
[sw25330]
 features: (i) a highly vectorized scripting language that enables the user to work with high ... relationships are implemented as a sequence of algebraic operations. We have implemented a modular, efficient ... solution strategies by combining imperative and objectoriented paradigms with functional programming. The toolbox also...

TituRel
 Referenced in 8 articles
[sw08501]
 support via interval orderings, etc. TituRel supports algebraic visualizations, proofs and transformations. Its generic construction ... also a field of research in programming languages. Remarks: TituRel has a common source with ... less efficient, strictly functional, and visualizationoriented. A formal deployment has not yet taken place...

FoCaLiZe
 Referenced in 10 articles
[sw12384]
 functional programming language with objectoriented features. The language allows the programmer to write formal ... Thanks to builtin inheritance mechanisms, the language allows to refine a development from ... FoCaLiZe distribution includes a library of mathematical algebraic structures up to multivariate polynomial rings...

CoqEAL
 Referenced in 5 articles
[sw03703]
 which we mean formally verified computer algebra algorithms that can be run inside ... correctness of our algorithms on a prooforiented description taking advantage of the SSReflect library ... then refine it to an efficient computationoriented version. The proofs are transported mostly automatically ... parametricity theorem for functional programming languages...

OOZE
 Referenced in 3 articles
[sw09494]
 generalized wide spectrum object oriented language that builds on the notation and style ... language has a precise and relatively simple semantics based on order sorted, hidden sorted algebra...

AUTOSIM
 Referenced in 7 articles
[sw01171]
 language for representing multibody systems in symbolic form to automatically formulate efficient. Objectoriented symbolic ... defined for symbolically representing (1) vector/dyadic algebraic expressions, (2) physical components in a multibody system...

AptoFEM
 Referenced in 7 articles
[sw12628]
 object oriented concepts and the generic programming capabilities offered by this language. The key features ... variety of third party linear algebra packages...

PLaSM
 Referenced in 5 articles
[sw14191]
 geometryoriented extension of a subset of FL. FL Language: FL (programming at Function Level ... language developed by the Functional Programming Group of IBM Research Division at Almaden (USA) [BWW90 ... language, on the line of the Backus’ Turing lecture [Backus78] introduces an algebra over programs...

S/PHI/nX
 Referenced in 3 articles
[sw13989]
 algorithms, we developed a set of objectoriented C++C++ libraries which can exploit modern ... this work to provide language elements to express algebraic expressions efficiently on modern computer platforms...

DBT Simulator
 Referenced in 2 articles
[sw19041]
 from projections. Iterative reconstruction algorithms such as algebraic reconstruction technique (ART) were later developed. Recently ... oriented simulator for 3D digital breast tomosynthesis (DBT) imaging system using C++ programming language ... problem. Results obtained with various methods including algebraic reconstruction technique (ART) and total variation regularized...