• qZEILBERGER

  • Referenced in 13 articles [sw11575]
  • Mathematica package qZeil. The article ”Sharp upper bounds for the orders of the recurrences output...
  • MAGP

  • Referenced in 9 articles [sw14019]
  • main result is the derivation of numerical bounds that turn out to be very accurate ... also present the first explicit upper bound for the distribution tail of the maximum ... known tools such as the Rice upper bound and expansions based on the Euler characteristic...
  • AddIntent

  • Referenced in 13 articles [sw02022]
  • best estimate for the algorithm’s upper bound complexity to construct a concept lattice...
  • ZEILBERGER

  • Referenced in 12 articles [sw11574]
  • package SumTools[Hypergeometric]. The article ”Sharp upper bounds for the orders of the recurrences output...
  • CALU

  • Referenced in 11 articles [sw06433]
  • similarities between GEPP and CALU and upper bounds of the growth factor of CALU. Experimental...
  • SACO

  • Referenced in 11 articles [sw21209]
  • whose termination is not guaranteed, and upper bounds on the resource consumption of methods...
  • QCAPro

  • Referenced in 11 articles [sw22782]
  • adiabatic operations and provides an upper bound of power expended. QCAPro can be used...
  • SparseFIS

  • Referenced in 11 articles [sw13736]
  • predefined and denotes a kind of upper bound on a reasonable granularity. The second phase...
  • zk-SNARK

  • Referenced in 11 articles [sw22495]
  • proving key is quasilinear in the upper bound on the computation size. Second, producing...
  • ABC

  • Referenced in 7 articles [sw09721]
  • software tool for automatically computing symbolic upper bounds on the number of iterations of nested ... large number of examples. The derived symbolic bounds express non-trivial polynomial relations over loop ... symbolic expressions over harmonic numbers as upper bounds on loop iteration counts...
  • QuickHeapsort

  • Referenced in 10 articles [sw20695]
  • extra bits, then we can lower the bound to nlog 2 n-0·997n ... bits only. Our theoretical results are upper bounds and valid for every input. Our computer...
  • HiTag2

  • Referenced in 10 articles [sw14133]
  • subfunctions are all balanced. Moreover, two upper bounds on algebraic immunity of nested functions...
  • NewZeil.m

  • Referenced in 9 articles [sw06646]
  • Sharp upper bounds for the orders of the recurrences output by the Zeilberger...
  • BEDFix

  • Referenced in 9 articles [sw04469]
  • cannot contain a fixed point. The upper bound on the number of required function evaluations...
  • CBMix

  • Referenced in 11 articles [sw18215]
  • definitions and the best known upper and lower bounds (to our knowledge ... values for the upper and lower bounds reported in the table only include traversal costs...
  • MAIC

  • Referenced in 8 articles [sw19964]
  • best. We propose a branch and bound search algorithm for a mixed integer nonlinear programming ... propose methods to find lower and upper bounds, and branching rules for this minimization...
  • pwcet

  • Referenced in 8 articles [sw14479]
  • analysis aim at finding the absolute upper bound on the execution time. For modern high...
  • Learn++

  • Referenced in 8 articles [sw37991]
  • rather well in practice. A theoretical upper bound on the error of the classifiers constructed...
  • QPOPT

  • Referenced in 17 articles [sw07859]
  • linear constraints and simple upper and lower bounds. QPOPT may also be used for linear...
  • respol

  • Referenced in 7 articles [sw18864]
  • studying mixed subdivisions, we obtain tight upper bounds on the maximal number of facets...