
OEIS
 Referenced in 3084 articles
[sw07248]
 Line Encyclopedia of Integer Sequence. The main use for the OEIS is to identify...

XPath
 Referenced in 365 articles
[sw15780]
 atomic values such as integers, strings, and booleans, and sequences that may contain both references...

RLangGFun
 Referenced in 7 articles
[sw14280]
 regular language) of certain positive integer sequences that are defined by Cfinite recurrences...

FEASPUMP
 Referenced in 121 articles
[sw04802]
 feasible solution of a given mixedinteger programming (MIP) model is a very important 𝒩𝒫 ... clever way to round a sequence of fractional solutions of the LP relaxation, until ... Extensive computational results on binary and general integer MIPs from the literature show that...

BijectiveRules
 Referenced in 5 articles
[sw13551]
 explore a class of integer sequences characterizing the nested structure. We also prove an observation...

AFS.txt
 Referenced in 3 articles
[sw21288]
 wide class of numbertheoretical integer sequences whose generating functions satisfy a certain type...

GloMIQO
 Referenced in 62 articles
[sw06266]
 constrained quadratic programs. Major applications of mixedinteger quadraticallyconstrained quadratic programs (MIQCQP) include quality ... networks optimization problems include: pooling problems, distillation sequences, wastewater treatment and total water systems, hybrid...

Guess
 Referenced in 6 articles
[sw09215]
 first few terms of a sequence of, say, integers, what is the next term, what...

IntegerSequences
 Referenced in 2 articles
[sw25549]
 Mathematica package for computing with integer sequences. Its support for kregular sequences includes basic...

SHOT
 Referenced in 4 articles
[sw15630]
 deterministic algorithm for solving convex mixedinteger nonlinear programming (MINLP) problems is presented in this ... nonlinear constraints. A sequence of linear or quadratic integerrelaxed subproblems are first solved ... obtained the algorithm solves a sequence of mixedinteger linear programming or mixedinteger quadratic...

CTcong.txt
 Referenced in 4 articles
[sw30553]
 partial sums of combinatorial sequences. Many combinatorial sequences (e.g. the Catalan and the Motzkin numbers ... variable (x) with integer coefficients. Denoting such a sequence by (a_k), we obtain ... positive integer (r), as a linear combination of sequences that satisfy linear recurrence (alias difference...

DFL
 Referenced in 22 articles
[sw05163]
 approximated explicitly. This class of mixed integer nonlinear optimization problems arises frequently in many industrial ... satisfied by the limit points of the sequences they produce...

Qstream
 Referenced in 1 article
[sw13491]
 integration with the online encyclopedia of integer sequences...

tuftests
 Referenced in 4 articles
[sw26318]
 output as a sequence of independent, uniform 32bit integers. For uses where the output...

Algolib
 Referenced in 2 articles
[sw04111]
 integration of special functions and combinatorial sequences. Special emanations of the above are the Algolib ... form or by the first integers in the enumeration sequence to many combinatorial structures...

GRASS
 Referenced in 4 articles
[sw12609]
 generation sequencing assemblies capable of using diverse information sources. GRASS offers a mixedinteger programming ... data, in the form of related genome sequences, are used. Availability: GRASS source code...

RegStab
 Referenced in 2 articles
[sw00794]
 interpreted as integers). Our system allows one to check the satisfiability of sequences of formulae...

MathProgBase
 Referenced in 2 articles
[sw17625]
 shot functions for linear and mixedintege programming (linprog and mixintprog), as well ... advanced techniques that require efficiently solving a sequence of linear programming problems...

DMP
 Referenced in 1 article
[sw19259]
 positive integers, and for computing the beginning of the hardtocount sequence enumerating unrestricted...

GRAPPA
 Referenced in 11 articles
[sw17255]
 include distancebased methods, parsimony methods using sequencebased encodings, and direct optimization. The latter ... spirit of GESTALT). Our method generates an integer linear program with a carefully limited number...