
GAP
 Referenced in 3067 articles
[sw00320]
 studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more. The system...

LAPACK
 Referenced in 1671 articles
[sw00503]
 LINPACK libraries run efficiently on sharedmemory vector and parallel processors. On these machines, LINPACK...

ARPACK
 Referenced in 814 articles
[sw04218]
 where structured means that a matrixvector product w < Av requires order n rather than ... action of the matrix on a vector is needed. ARPACK software is capable of solving ... required. A set of Schur basis vectors for the desired kdimensional eigenspace...

PETSc
 Referenced in 1252 articles
[sw04012]
 application codes, such as parallel matrix and vector assembly routines. The library is organized hierarchically...

LIBSVM
 Referenced in 1151 articles
[sw04879]
 LIBSVM is a library for Support Vector Machines (SVMs). We have been actively developing this...

Ipopt
 Referenced in 710 articles
[sw04808]
 constraint functions. The vectors g_L and g_U denote the lower and upper bounds ... constraints, and the vectors x_L and x_U are the bounds on the variables...

INTLAB
 Referenced in 447 articles
[sw04004]
 arithmetic for real and complex data including vectors and matrices (very fast) interval arithmetic ... matrices (very fast) automatic differentiation (forward mode, vectorized computations, fast) Gradients (to solve systems ... inclusions) accurate summation, dot product and matrixvector residuals (interpreted, reference implementation, slow) multiple precision...

z3
 Referenced in 532 articles
[sw04887]
 real and integer arithmetic, fixedsize bitvectors, extensional arrays, uninterpreted functions, and quantifiers...

ode23
 Referenced in 306 articles
[sw06600]
 scalar t and a column vector y, must return a column vector f corresponding ... corresponds to a time returned in column vector T. To obtain solutions at the specific ... tolerance RelTol (1e3 by default) and a vector of absolute error tolerances AbsTol (all components...

LINPACK
 Referenced in 517 articles
[sw04209]
 designed to run efficiently on sharedmemory, vector supercomputers...

eigs
 Referenced in 321 articles
[sw03702]
 polynomial filter to the Arnoldi (Lanczos) vector on each iteration. This approach generalizes explicit restart ... some preliminary computational results using parallel and vector computers are given...

SVMlight
 Referenced in 263 articles
[sw04076]
 implementation of Vapnik’s Support Vector Machine [Vapnik, 1995] for the problem of pattern recognition ... handle problems with many thousands of support vectors efficiently. The software also provides methods ... tasks have the property of sparse instance vectors. This implementation makes use of this property...

SUNDIALS
 Referenced in 224 articles
[sw00927]
 these codes are operations on data vectors, and the codes have been written in terms ... interfaces to these vector operations. The result of this design is that users can relatively ... them. The codes also come with default vector structures with predefined operation implementations ... addition, all parallelism is contained within specific vector operations (norms, dot products, etc.) No other...

ScaLAPACK
 Referenced in 411 articles
[sw00830]
 designed and produced analogous software for workstations, vector supercomputers, and shared memory parallel computers. Both...

XFEM
 Referenced in 377 articles
[sw01026]
 described and updated by level sets, vector level sets or a standard method; standard...

Rcpp
 Referenced in 237 articles
[sw08385]
 class hierarchy. All R types are supported (vectors, functions, environment, etc ...) and each type ... dedicated class. For example, numeric vectors are represented as instances of the Rcpp::NumericVector class...

Qhull
 Referenced in 312 articles
[sw04419]
 hull defines a matrix A and a vector b such that...

IRAM
 Referenced in 201 articles
[sw08795]
 polynomial filter to the Arnoldi (Lanczos) vector on each iteration. This approach generalizes explicit restart ... some preliminary computational results using parallel and vector computers are given...

word2vec
 Referenced in 145 articles
[sw14978]
 words and skipgram architectures for computing vector representations of words. These representations ... corpus as input and produces the word vectors as output. It first constructs a vocabulary ... training text data and then learns vector representation of words. The resulting word vector file...

Normaliz
 Referenced in 159 articles
[sw00630]
 tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones. Its input ... versa), convex hulls, a triangulation of a vector, the Hilbert basis of a (not necessarily...