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

LAPACK
 Referenced in 1503 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 1195 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 522 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 780 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 63 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 58 articles
[sw00796]
 allows to compute modulo a set of algebraic relations. Automatic case discussion (and recombination) handles...

ScaLAPACK
 Referenced in 377 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...

gmp
 Referenced in 232 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 29 articles
[sw21239]
 first language to combine highlevel algebraic and set notations from mathematical modeling languages with...

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

Algorithm 679
 Referenced in 60 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...

PLAPACK
 Referenced in 59 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...

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

Bertini
 Referenced in 178 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...

MuPAD
 Referenced in 135 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...

CUSPARSE
 Referenced in 30 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 11 articles
[sw14128]
 independent way, either using the Connection Set Algebra (Djurfeldt, 2010) or by writing your...

CUDD
 Referenced in 142 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...