
NEWEUL
 Referenced in 2 articles
[sw21814]
 with the use of a symbolic formalism for the determination of equations of motion ... high accuracy and stability during the numeric evaluation...

RAML
 Referenced in 1 article
[sw21728]
 implemented resource metrics for the number of evaluation steps in a highlevel abstract machine ... bestcase resource use. Furthermore, it can determine if the resource use is constant ... shelf LP solver. Since symbolic bound inference is an undecidable problem, RAML cannot automatically derive...

ATLAS
 Referenced in 190 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

CGAL
 Referenced in 278 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

Coq
 Referenced in 1394 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 174 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

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

gfun
 Referenced in 115 articles
[sw00344]
 The gfun package provides tools for determining and...

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

HYPERG
 Referenced in 4 articles
[sw00423]
 HYPERG: a Maple package for manipulating hypergeometric series...

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

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

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

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

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

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

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

MiniSat
 Referenced in 471 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

OpenFst
 Referenced in 12 articles
[sw00653]
 We describe OpenFst, an opensource library for...