• Octave

  • Referenced in 288 articles [sw00646]
  • batch-oriented language. Octave has extensive tools for solving common numerical linear algebra problems, finding...
  • LISP-STAT

  • Referenced in 116 articles [sw01111]
  • basing Lisp-Stat 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 prototype-based object-oriented programming system is used to implement the graphics ... customized and adapted. The object-oriented programming system is also used as the basis...
  • Pyomo

  • Referenced in 44 articles [sw04910]
  • modeling approach supported by modern AML (algebraic modeling language) tools. Pyomo is a flexible, extensible ... full-featured 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 93 articles [sw04352]
  • Modelica is a freely available, object-oriented 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...
  • 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 18 articles [sw04127]
  • level Petri nets with fairness constraints. The algebra contains powerful built-in data types ... programs written in procedural or object-oriented languages, or high-level 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 widely-used object-oriented programming languages. It allows programs...
  • JAS

  • Referenced in 15 articles [sw05877]
  • object oriented, type safe, multi-threaded 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 algebraic-oriented algorithms for scientists and engineers. Language bindings for C, Fortran...
  • CC-Pi

  • Referenced in 28 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: name-passing calculi ... that equip classical constraints with a suitable algebraic structure providing a richer mechanism of constraint...
  • MRST-AD

  • Referenced in 23 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 object-oriented 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 visualization-oriented. A formal deployment has not yet taken place...
  • FoCaLiZe

  • Referenced in 10 articles [sw12384]
  • functional programming language with object-oriented features. The language allows the programmer to write formal ... Thanks to built-in 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 proof-oriented description taking advantage of the SSReflect library ... then refine it to an efficient computation-oriented 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. Object-oriented 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]
  • geometry-oriented 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...
  • 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...
  • Alma

  • Referenced in 1 article [sw12565]
  • expression-oriented Maple environment. This represents a non-traditional approach to structuring computer algebra software ... using an efficient, compiled language, designed for writing large complex mathematical libraries, together with...