
SINGULAR
 Referenced in 1412 articles
[sw00866]
 general implementations for computing Groebner and standard bases, including e.g. Buchberger’s algorithm and Mora...

FGb
 Referenced in 244 articles
[sw00286]
 lines of C++) for computing Grobner bases, implement ”standard” algoritms. FGb (206 052 lines ... algorithms for computing Gröbner bases: actually, from a research point of view, it is mandatory...

Python
 Referenced in 1582 articles
[sw14460]
 management and has a large and comprehensive standard library. Python interpreters are available for installation ... operating systems, allowing the distribution of Pythonbased software for use on those environments without...

YALMIP
 Referenced in 962 articles
[sw04595]
 Easy to install since it is entirely based on MATLAB code. Easy to learn ... constraints and objective functions using intuitive and standard MATLAB code. Automatic categorization of problems...

LSQR
 Referenced in 368 articles
[sw00530]
 large and sparse. The method is based on the bidiagonalization procedure of Golub and Kahan ... analytically equivalent to the standard method of conjugate gradients, but possesses more favorable numerical properties...

ReALE
 Referenced in 98 articles
[sw18074]
 reconnectionbased arbitraryLagrangian–Eulerian (ALE) method. The main elements in a standard ALE simulation ... better than for standard ALE methods. Rezone strategy with reconnection is based on using Voronoi ... show it superiority in comparison with standard ALE methods without reconnection...

PROC NLMIXED
 Referenced in 65 articles
[sw11039]
 parameter estimates along with their approximate standard errors based on the second derivative matrix ... parameters, and PROC NLMIXED computes their approximate standard errors by using the delta method...

WSAT
 Referenced in 37 articles
[sw01022]
 messages. Data transmission among web services is standardized via XML, and the specification ... relies on a stack of XML based standards (e.g. WSDL, BPEL4WS, WSCI ... model checking: (1) Numerous competing web service standards, most of which lack formal semantics, complicate ... away. (3) XML data and expressive XPath based manipulation are not supported by current model...

ILUM
 Referenced in 63 articles
[sw07244]
 preconditioner for general sparse matrices Standard preconditioning techniques based on incomplete LU (ILU) factorizations offer...

GXL
 Referenced in 18 articles
[sw16479]
 graphbased standard exchange format for reengineering. GXL (Graph eXchange Language) is an XMLbased ... standard exchange format for sharing data between tools. Formally, GXL represents typed, attributed, directed, ordered ... used to provide interoperability of graphbased tools. GXL has been ratified by reengineering...

ARPACK
 Referenced in 794 articles
[sw04218]
 floating point operations. This software is based upon an algorithmic variant of the Arnoldi process ... suitable for large scale problems. For many standard problems, a matrix factorization is not required...

Thrust
 Referenced in 51 articles
[sw09618]
 template library for CUDA based on the Standard Template Library (STL). Thrust allows...

System Identification Toolbox
 Referenced in 169 articles
[sw05686]
 standard estimation approaches are supported. These include the use of nonparametric, subspacebased ... linear models, the use of nonstandard model parametrizations, and the employment of Expectation Maximization...

refund
 Referenced in 53 articles
[sw07434]
 both model and decompositionbased variability are constructed. Standard mixed model representations of functional expansions ... Iterated expectation and variance formulas combine modelbased conditional estimates across the distribution of decompositions...

SLICOT
 Referenced in 81 articles
[sw01095]
 standardisation: the library is based on rigorous programming and documentation standards; 7. benchmarking...

flexmix
 Referenced in 109 articles
[sw06087]
 implement mixtures of standard linear models, generalized linear models and modelbased clustering...

Eiffel
 Referenced in 290 articles
[sw03522]
 Eiffel is an ISOstandardized, objectoriented programming language designed by Bertrand Meyer (an object ... with the Eiffel programming method. Both are based on a set of principles, including design ... language design ideas, particularly through the Ecma/ISO standardization process, continue to be incorporated into...

L1MAGIC
 Referenced in 30 articles
[sw12430]
 compressive sampling. The algorithms are based on standard interiorpoint methods, and are suitable...

TENSOLVE
 Referenced in 28 articles
[sw00956]
 between a tensor method and a standard method based on a linear model. The tensor ... form, store, or solve than the standard linear model. Moreover, the software provides two different...

Mosel
 Referenced in 36 articles
[sw04911]
 modeling and solution reporting interface to standard matrixbased solvers. It also gives an overview...