
RSPLINE
 Referenced in 10 articles
[sw29802]
 Linear Interpolation and a discrete Neighborhood Enumeration, to asymptotically identify a local minimum. RSPLINE...

CLT
 Referenced in 6 articles
[sw11432]
 that finds asymptotic moments for discrete probability distributions that come up in enumeration. They...

Algolib
 Referenced in 3 articles
[sw04111]
 enumerate combinatorial structures; manipulate the associated generating functions, functional equations or recurrences; study their asymptotic ... first integers in the enumeration sequence to many combinatorial structures ... study of combinatorics, special functions or asymptotic analysis. Also available as Maple help pages...

AlgFunEq
 Referenced in 2 articles
[sw21281]
 equations for generating generating functions for weightenumerators for many Catalancounted combinatorial families, according ... particular enabling the rigorous proof of asymptotic abnormality. It is particulary focused on 132avoiding...

QuickLex
 Referenced in 2 articles
[sw23063]
 present a fast algorithm, QuickLex, to enumerate global states in the lexical order. QuickLex requires ... times faster than Tree even though the asymptotic time complexity of QuickLex is higher than...

Blackwelder
 Referenced in 1 article
[sw10038]
 often used statistical procedures  the classical asymptotic normal approximation and the same method with ... methods calculating the test sizes by enumerating all possible cases rather than through simulation...

BARON
 Referenced in 316 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

cdd
 Referenced in 110 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CGAL
 Referenced in 360 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CoCoA
 Referenced in 631 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

Devmol
 Referenced in 3 articles
[sw00199]
 Intuitively, the molecular expansion of a species $F...

GAP
 Referenced in 2876 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GAUSS
 Referenced in 119 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...

gfun
 Referenced in 133 articles
[sw00344]
 The gfun package provides tools for determining and...

gmp
 Referenced in 269 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Kronecker
 Referenced in 108 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...

LANCELOT
 Referenced in 299 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

LGO
 Referenced in 92 articles
[sw00516]
 The program system LGO serves to solve global...

Macaulay2
 Referenced in 1692 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...