• 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 Python-based 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]
  • reconnection-based arbitrary-Lagrangian–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]
  • graph-based standard exchange format for reengineering. GXL (Graph eXchange Language) is an XML-based ... standard exchange format for sharing data between tools. Formally, GXL represents typed, attributed, directed, ordered ... used to provide interoperability of graph-based 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 non-parametric, subspace-based ... linear models, the use of non-standard model parametrizations, and the employment of Expectation Maximization...
  • refund

  • Referenced in 53 articles [sw07434]
  • both model- and decomposition-based variability are constructed. Standard mixed model representations of functional expansions ... Iterated expectation and variance formulas combine model-based 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 model-based clustering...
  • Eiffel

  • Referenced in 290 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented 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...
  • L1-MAGIC

  • Referenced in 30 articles [sw12430]
  • compressive sampling. The algorithms are based on standard interior-point 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 matrix-based solvers. It also gives an overview...