
GAMS
 Referenced in 602 articles
[sw04978]
 General Algebraic Modeling System (GAMS) is specifically designed for modeling linear, nonlinear and mixed integer...

CASL
 Referenced in 137 articles
[sw02235]
 CoFI is called Casl: the Common Algebraic Specification Language. Its main features are as follows...

LAPACK
 Referenced in 1166 articles
[sw00503]
 performed by calls to the Basic Linear Algebra Subprograms (BLAS). LAPACK is designed ... Level 3 BLAS — a set of specifications for Fortran subprograms that do various types...

Macaulay2
 Referenced in 933 articles
[sw00537]
 supporting research in algebraic geometry and commutative algebra, whose creation has been funded ... installation of methods for computing specifically with them. Macaulay2 can compute Betti numbers, Ext, cohomology ... integral closure of rings, and more. Computer algebra system...

CoFI
 Referenced in 38 articles
[sw01631]
 CoFI: The common framework initiative for algebraic specification and development. CoFI, The Common Framework Initiative ... algebraic specification and development of software, is an open international collaboration. The main initial ... design a coherent family of algebraic specification languages, based on a critical selection of constructs ... design of CASL, the Common Algebraic Specification Language, together with its sublanguages and extensions...

CoCasl
 Referenced in 26 articles
[sw13076]
 recently developed coalgebraic extension of the algebraic specification language Casl, allows for modelling systems ... Here, we demonstrate how to specify process algebras, namely CCS [R. Milner, Communication and concurrency...

Z
 Referenced in 270 articles
[sw10291]
 adquate for promoting a discipline of formal specification and reasoning? Another disappointment is that ... from the relational calculus are introduced, its algebraic properties are not mentioned; many...

Zenon
 Referenced in 14 articles
[sw06753]
 Focal environment, an objectoriented algebraic specification and proof system, which is able to produce...

HasCasl
 Referenced in 13 articles
[sw00399]
 HasCasl: integrated higherorder specification and program development We lay out the design of HasCasl ... higherorder extension of the algebraic specification language Casl that serves both as a wide...

CCSL
 Referenced in 29 articles
[sw03357]
 CCSL is a specification language that combines both algebraic and coalgebraic elements. The CCSL compiler...

GiNaC
 Referenced in 37 articles
[sw01609]
 stands for Computer Algebra System. It has been specifically developed to become a replacement engine ... does not try to provide extensive algebraic capabilities and a simple programming language but instead...

SPIRAL
 Referenced in 34 articles
[sw00903]
 SPIRAL uses a domain specific language, based on an algebraic formulation of DSP algorithms...

MoDeST
 Referenced in 30 articles
[sw01544]
 specification languages such as Promela, and deals with compositionality in a lightweight processalgebra ... rigid, processalgebra style semantics, and (iii) yet provides modern and flexible specification constructs...

CSPprover
 Referenced in 14 articles
[sw11465]
 refinement proofs within the process algebra CSP. It aims specifically at proofs on infinite state...

MAS
 Referenced in 4 articles
[sw08442]
 combines imperative programming facilities with algebraic specification capabilities for design and study of algebraic algorithms...

APLEpy
 Referenced in 4 articles
[sw04913]
 modules that provides the functionality of an algebraic modeling and programming software such as AMPL ... general purpose programming languages and domain specific algebraic modeling languages, (2) provides an easy...

BMaude
 Referenced in 3 articles
[sw10135]
 membership equational logic. How can algebraic and coalgebraic specifications be integrated ... behavioral equivalence be addressed in an algebraic specification language? The hiddensorted approach, originating ... logic, and an extension of the Maude specification language called BMaude supporting this extended hidden ... conditions under which theories have both an algebraic and a coalgebraic semantics, including final...

rSQP++
 Referenced in 6 articles
[sw01434]
 allow for external configuration of applicationspecific linear algebra objects such as matrices and linear...

Algorithm 679
 Referenced in 50 articles
[sw12583]
 software for the Level 2 Basic Linear Algebra Subprograms (Level 2 BLAS). Level 2 BLAS ... verify that specialized implementations meet the specification of Level 2 BLAS that implementations are correctly...

HipSpec
 Referenced in 3 articles
[sw07736]
 These equational properties make up an algebraic specification for the program and can in addition...