• R-SPLINE

  • Referenced in 10 articles [sw29802]
  • Linear Interpolation and a discrete Neighborhood Enumeration, to asymptotically identify a local minimum. R-SPLINE...
  • 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 weight-enumerators for many Catalan-counted combinatorial families, according ... particular enabling the rigorous proof of asymptotic abnormality. It is particulary focused on 132-avoiding...
  • 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 large-scale 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...