• INTLAB

• Referenced in 350 articles [sw04004]
• clusters) quadrature for univariate functions univariate polynomial zeros (simple and clusters) interval arithmetic for real ... functions automatic slopes (sequential approach, slow for many variables) verified integration of (simple) univariate functions...
• INTOPT_90

• Referenced in 294 articles [sw04705]
• connection between these two themes is that zero finding is an almost unavoidable part ... emphasized, theoretical considerations are sporadically present. Many extensive remarks and explanations are connected with INTLIB ... branch and bound pattern touching many software details. The chapter on global optimization (40 pages ... obtaining some new results with respect to zero search. The final chapter about intermediate values...
• EFD

• Referenced in 45 articles [sw04152]
• they combine “windows” techniques, and average over many random scalars of given size ... Finally, the authors consider four cases, allowing zero, one, two or three inversions...
• Jets

• Referenced in 10 articles [sw23621]
• compute symmetries, conservation laws, zero-curvature representations, recursion operators, any many other invariants of systems...
• TensorToolbox

• Referenced in 84 articles [sw04185]
• vast majority of the elements are zero. We propose storing sparse tensors using coordinate format ... full tensor, and we demonstrate that many elementary operations can be computed using only...
• impute

• Referenced in 79 articles [sw14376]
• sets with multiple missing expression values. Unfortunately, many algorithms for gene expression analysis require ... well as filling missing values with zeros). We report results of the comparative experiments...
• Daikon

• Referenced in 41 articles [sw04319]
• Examples include being constant $(x=a)$, non-zero $(x eq 0)$, being in a range ... sortedness ($x$ is sorted), and many more. Users can extend Daikon to check for additional...
• R-MAX

• Referenced in 32 articles [sw02539]
• Singh’s E^3 algorithm, covering zero-sum stochastic games. (2) It has a built ... optimism under uncertainty” bias used in many RL algorithms. (4) It is simpler, more general...
• Singularity

• Referenced in 4 articles [sw20306]
• systems and local real zeros of multidimensional smooth maps. Many tools and techniques from computational...
• ReLogit

• Referenced in 1 article [sw26220]
• activism, or epidemiological infections) than zeros (”nonevents”). In many literatures, these variables have proven difficult...
• CONLIN

• Referenced in 41 articles [sw14151]
• concepts. The Convex Linearization method (CONLIN) exhibits many interesting features and it is applicable ... restricted to the current subspace of non zero dual variables, its dimensionality is usually reasonably...
• DEMiCs

• Referenced in 20 articles [sw00196]
• essential role for computing all isolated zeros of a polynomial system by polyhedral homotopy continuation ... packages for semi-mixed polynomial systems with many distinct supports. The software package DEMiCs...
• BioProspector

• Referenced in 24 articles [sw09375]
• allow each input sequences to contain zero to multiple copies of the motif. In addition ... find s54 motif from M. xanthus genome, many B. subtilis motifs from DBTBS collection...
• CorrT

• Referenced in 1 article [sw26432]
• Type II error approaching zero for sparse and many dense models. In fact, CorrT...
• CONTEST

• Referenced in 17 articles [sw12738]
• number of disciplines, giving rise to many challenging matrix computational tasks. Several random graph models ... unsymmetric matrices with elements equal to zero or one. They have one or more parameters...
• LSSS

• Referenced in 1 article [sw06578]
• solution in which many variables take the value zero. The program is applied...
• FLYCHK

• Referenced in 3 articles [sw20582]
• zero dimension with accuracy sufficient for most initial estimates and in many cases is applicable...
• SymChaff

• Referenced in 5 articles [sw00938]
• search space. This allows us to address many limitations of alternative approaches like symmetry breaking ... Boolean representations, general group-theoretic methods, and zero-suppressed binary decision diagrams. We demonstrate...