
REDUCE
 Referenced in 730 articles
[sw00789]
 interest to mathematicians, scientists and engineers. Computer algebra system (CAS). It has been produced ... substitutions and pattern matching in a wide variety of forms; automatic and user controlled simplification ... with symbolic matrices; arbitrary precision integer and real arithmetic; facilities for defining new functions ... facilities for the solution of a variety of algebraic equations; facilities for the output...

Pyomo
 Referenced in 33 articles
[sw04910]
 software and its handling of complex realworld applications. Pyomo is an open source software ... modeling approach supported by modern AML (algebraic modeling language) tools. Pyomo is a flexible, extensible ... variables, which can be used to formulate algebraic expressions that define objectives and constraints. Moreover ... easy to create Pyomo models, apply a variety of optimizers, and examine solutions. The text...

Numerical Solutions
 Referenced in 0 articles
[sw06013]
 LINEAR ALGEBRA), Linear Algebra performs a wide variety of computations with real matrices, including solution...

SERK2v3
 Referenced in 5 articles
[sw14473]
 differential equations (PDEs) appear in a large variety of disciplines. Usually, the scientific literature advises ... with extended stability domains along the negative real axis. It is necessary to evaluate ... methods are explicit, they do not require algebra routines to solve large nonlinear systems associated...

ProC/B
 Referenced in 1 article
[sw01788]
 model analysis by a variety of methods including simulative, algebraic and numerical techniques. An object ... very much along the structures found in real world organisations. We describe and analyse...

CASA
 Referenced in 82 articles
[sw00108]
 CASA is a specialpurpose system for computational...

cdd
 Referenced in 104 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CoCoA
 Referenced in 585 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

FGb
 Referenced in 227 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

GAP
 Referenced in 2586 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gmp
 Referenced in 250 articles
[sw00363]
 GMP is a free library for arbitrary precision...

HOM4PS
 Referenced in 69 articles
[sw00410]
 HOM4PS2.0: a software package for solving polynomial...

Kronecker
 Referenced in 101 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...

LAPACK
 Referenced in 1552 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LEDA
 Referenced in 247 articles
[sw00509]
 In the core computer science areas  data structures...

LiDIA
 Referenced in 48 articles
[sw00518]
 LiDIA: A library for computational number theory. LiDIA...

Macaulay2
 Referenced in 1502 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 2602 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 4837 articles
[sw00545]
 The result of over 30 years of cutting...