
QEPCAD
 Referenced in 273 articles
[sw00752]
 program for computing with semialgebraic sets using CADs. QEPCAD is an implementation of quantifier...

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

SINGULAR
 Referenced in 1314 articles
[sw00866]
 field (e.g., finite fields, the rationals, floats, algebraic extensions, transcendental extensions), or localizations thereof ... Furthermore, it provides polynomial factorizations, resultant, characteristic set and gcd computations, syzygy and freeresolution...

SparseMatrix
 Referenced in 587 articles
[sw04629]
 Matrix Collection, a large and actively growing set of sparse matrices that arise in real ... widely used by the numerical linear algebra community for the development and performance evaluation...

KernSmooth
 Referenced in 878 articles
[sw04586]
 concentrate on the simplest nonparametric curve estimation setting, namely density and regression estimation. Special attention ... basic knowledge of statistics, calculus and matrix algebra is assumed. In its role...

GiNaC
 Referenced in 70 articles
[sw01609]
 does not try to provide extensive algebraic capabilities and a simple programming language but instead ... extends it by a set of algebraic capabilities. Perplexed? Feel free to read this paper...

RegularChains
 Referenced in 69 articles
[sw00796]
 allows to compute modulo a set of algebraic relations. Automatic case discussion (and recombination) handles...

ScaLAPACK
 Referenced in 396 articles
[sw00830]
 library of highperformance linear algebra routines for distributed memory messagepassing MIMD computers ... computers, example programs, and the full set of LAPACK Working Notes...

gamair
 Referenced in 242 articles
[sw11132]
 GAMs: An Introduction with R”. Data sets and scripts used in the book ”Generalized Additive ... appendix is devoted to some matrix algebra...

gmp
 Referenced in 256 articles
[sw00363]
 runs on. GMP has a rich set of functions, and the functions have a regular ... cryptography applications and research, Internet security applications, algebra systems, computational algebra research ... result. The license gives freedoms, but also sets firm restrictions on the use with...

OPL
 Referenced in 30 articles
[sw21239]
 first language to combine highlevel algebraic and set notations from mathematical modeling languages with...

Algorithm 679
 Referenced in 63 articles
[sw12583]
 Algorithm 679: A set of Level 3 Basic Linear Algebra Subprograms. This paper describes ... software for the Level 2 Basic Linear Algebra Subprograms (Level 2 BLAS). Level 2 BLAS ... computers. The model implementation provides a portable set of FORTRAN 77 Level 2 BLAS...

Bertini
 Referenced in 204 articles
[sw06683]
 Bertini™: Software for Numerical Algebraic Geometry. Software for solving polynomial systems. Finds isolated solutions using ... Treats positivedimensional solutions by computing witness sets. Has automatic differentiation which preserves the straightline...

PLAPACK
 Referenced in 61 articles
[sw04268]
 infrastructure for the parallel implementation of linear algebra algorithms and applications on distributed memory supercomputers ... data distribution, sets PLAPACK apart from other parallel linear algebra libraries, allowing for strong performance...

CUSPARSE
 Referenced in 38 articles
[sw07887]
 CUSPARSE library contains a set of basic linear algebra subroutines used for handling sparse matrices ... matrix in sparse format and a set of vectors in dense format (which can also...

Pynn
 Referenced in 14 articles
[sw14128]
 independent way, either using the Connection Set Algebra (Djurfeldt, 2010) or by writing your...

AIDA
 Referenced in 57 articles
[sw11535]
 routines to explore algebra of differential invariants: computation of generating sets of invariants, rewritings, syzygies...

MuPAD
 Referenced in 137 articles
[sw00606]
 symbolic math expressions, and an extensive set of mathematical functions and libraries. The MuPAD engine ... access to the complete MuPAD language. Computer algebra system...

Bertini_real
 Referenced in 8 articles
[sw09933]
 dimensional real algebraic sets. Bertini_real is a command line program for numerically decomposing ... dimensional complex irreducible algebraic set in any reasonable number of variables. Using numerical homotopy continuation...

CUDD
 Referenced in 147 articles
[sw04446]
 manipulate Binary Decision Diagrams (BDDs) [5,3], Algebraic Decision Diagrams (ADDs) [1], and Zerosuppressed ... represent function from to an arbitrary set. ZDDs represent switching functions like BDDs; however, they...