• HOSA

• Referenced in 2 articles [sw21993]
• defined in terms of the higher-order moments or cumulants of a signal, contain this ... Spectral Analysis (HOSA) Toolbox provides comprehensive higher-order spectral analysis capabilities for signal processing applications ... estimation of cross- and auto-cumulants (including correlations), spectra and olyspectra,bispectrum, and bicoherence...

• FMLtoHOL

• Referenced in 4 articles [sw21539]
• modeled as natural fragments of classical higher-order logic (HOL). The FMLtoHOL tool exploits this ... with respect to constant, varying and cumulative domain semantics. The approach is evaluated in combination...

• rcdt_ns_classifier

• Referenced in 1 article [sw40669]
• makes use of the previously described Radon Cumulative Distribution Transform (R-CDT) for image data ... operations such as translation, scaling, and higher-order transformations are challenging to model in native ... Python code implementing the Radon cumulative distribution transform subspace model for image classification...

• Coq

• Referenced in 1880 articles [sw00161]
• Coq is a formal proof management system. It...

• Gmsh

• Referenced in 720 articles [sw00366]
• Gmsh is a 3D finite element grid generator...

• Maple

• Referenced in 5363 articles [sw00545]
• The result of over 30 years of cutting...

• Mathematica

• Referenced in 6337 articles [sw00554]
• Almost any workflow involves computing results, and that...

• Matlab

• Referenced in 13460 articles [sw00558]
• MATLAB® is a high-level language and interactive...

• R

• Referenced in 9810 articles [sw00771]
• R is a language and environment for statistical...

• REDUCE

• Referenced in 746 articles [sw00789]
• REDUCE is an interactive system for general algebraic...

• SageMath

• Referenced in 1970 articles [sw00825]
• Sage (SageMath) is free, open-source math software...

• TISEAN

• Referenced in 170 articles [sw00967]
• Practical implementation of nonlinear time series methods: The...

• MACSYMA

• Referenced in 720 articles [sw01209]
• Macsyma is a general purpose symbolic-numerical-graphical...

• L-BFGS-B

• Referenced in 198 articles [sw01234]
• Algorithm 778: L-BFGS-B Fortran subroutines for...

• QUADPACK

• Referenced in 260 articles [sw01236]
• Fortran subprograms for evaluating definite integrals of functions...

• FoCs

• Referenced in 20 articles [sw01591]
• FoCs -- automatic generation of simulation checkers from formal...

• WordNet

• Referenced in 407 articles [sw01777]
• WordNet® is a large lexical database of English...

• S-PLUS

• Referenced in 615 articles [sw02892]
• S-PLUS is a powerful environment for statistical...

• L-BFGS

• Referenced in 805 articles [sw03229]
• Algorithm 778: L-BFGS-B Fortran subroutines for...

• CUDA

• Referenced in 1317 articles [sw03258]
• The NVIDIA® CUDA® Toolkit provides a comprehensive development...