
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...

zkSNARK
 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 nontrivial 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 n0·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...