
ELECTRE
 Referenced in 119 articles
[sw02971]
 software and applications. An extensive and uptodate bibliography is also provided...

INTOPT_90
 Referenced in 304 articles
[sw04705]
 emphasized, theoretical considerations are sporadically present. Many extensive remarks and explanations are connected with INTLIB ... book consists of seven chapters and a bibliography of 247 items. The first chapter...

SDAARC
 Referenced in 3 articles
[sw02819]
 well written monograph with an extensive bibliography...

RSDS
 Referenced in 7 articles
[sw30210]
 RSDS system includes a number of modifications, extensions and functional improvements. The RSDS system ... facilitate the creation of the rough sets bibliography for various types of publications as well...

mfer
 Referenced in 1 article
[sw10671]
 simple groups and their cyclic and bicyclic extensions. Part of the data is available ... endomorphism rings as well as for the bibliography collected from earlier publications on this topic...

ALICe
 Referenced in 1 article
[sw15036]
 program but they are difficult to compute. Extensive research has been carried ... which we found in the loop invariant bibliography, and interfaces with three analysis programs, that...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

ARMS
 Referenced in 63 articles
[sw00048]
 ARMS: an algebraic recursive multilevel solver for general...

BoomerAMG
 Referenced in 144 articles
[sw00086]
 BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

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

CXSC
 Referenced in 106 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 2.0
 Referenced in 122 articles
[sw00182]
 A C++ class library for extended scientific computing...

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

LSQR
 Referenced in 343 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...

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

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

Mathematica
 Referenced in 5703 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 11496 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MPFI
 Referenced in 38 articles
[sw00597]
 Motivations for an arbitrary precision interval arithmetic and...

MuPAD
 Referenced in 137 articles
[sw00606]
 MuPAD consists of a powerful symbolic engine, a...