• ProSparse

• Referenced in 1 article [sw24951]
• local bases using ProSparse: a probabilistic analysis. Finding the sparse representation of a signal ... succeed, this paper presents a probabilistic average-case analysis of the algorithm. Based...

• Global Optimization Toolbox For Maple

• Referenced in 152 articles [sw00358]
• Optimization is the science of finding solutions that...

• Maple

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

• Regexpcount

• Referenced in 6 articles [sw00792]
• Regexpcount, a symbolic package for counting problems on...

• ZRAM

• Referenced in 38 articles [sw01038]
• The parallel search bench ZRAM and its applications...

• PRISM

• Referenced in 442 articles [sw01186]
• PRISM: Probabilistic symbolic model checker. In this paper...

• CPLEX

• Referenced in 2773 articles [sw04082]
• IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

• CUDD

• Referenced in 158 articles [sw04446]
• The CUDD package provides functions to manipulate Binary...

• DLMF

• Referenced in 2809 articles [sw04968]
• NIST digital library of mathematical functions. The National...

• UNCMND

• Referenced in 106 articles [sw05265]
• NCMND minimizes a smooth nonlinear function of n...

• MersenneTwister

• Referenced in 351 articles [sw05367]
• Mersenne twister: A 623-dimensionally equidistributed uniform pseudo...

• ode23

• Referenced in 318 articles [sw06600]
• The MATLAB ODE Suite: ode23: Solve nonstiff differential...

• HolonomicFunctions

• Referenced in 56 articles [sw06666]
• The HolonomicFunctions package by Christoph Koutschan allows to...

• CONTRAlign

• Referenced in 4 articles [sw08305]
• Contralign: discriminative training for protein sequence alignment. In...

• symrcm

• Referenced in 385 articles [sw08566]
• symrcm: Sparse reverse Cuthill-McKee ordering. r = symrcm...

• FASTA

• Referenced in 25 articles [sw09655]
• Rapid and sensitive sequence comparison with FASTP and...

• pchip

• Referenced in 378 articles [sw10140]
• pchip. Piecewise Cubic Hermite Interpolating Polynomial (PCHIP) ...

• 2D triangulations

• Referenced in 39 articles [sw11159]
• 2D triangulations. CGAL User and Reference Manual: This...

• SuLQ

• Referenced in 128 articles [sw11355]
• Practical privacy: the SuLQ framework. We consider a...

• SWIFFT

• Referenced in 48 articles [sw11588]
• SWIFFT: A modest proposal for FFT hashing. We...