• OEIS

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

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

  • Referenced in 6 articles [sw14280]
  • regular language) of certain positive integer sequences that are defined by C-finite recurrences...
  • FEASPUMP

  • Referenced in 104 articles [sw04802]
  • feasible solution of a given mixed-integer 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...
  • Guess

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

  • Referenced in 52 articles [sw06266]
  • constrained quadratic programs. Major applications of mixed-integer quadratically-constrained quadratic programs (MIQCQP) include quality ... networks optimization problems include: pooling problems, distillation sequences, wastewater treatment and total water systems, hybrid...
  • AFS.txt

  • Referenced in 2 articles [sw21288]
  • wide class of number-theoretical integer sequences whose generating functions satisfy a certain type...
  • SHOT

  • Referenced in 3 articles [sw15630]
  • deterministic algorithm for solving convex mixed-integer nonlinear programming (MINLP) problems is presented in this ... nonlinear constraints. A sequence of linear or quadratic integer-relaxed subproblems are first solved ... obtained the algorithm solves a sequence of mixed-integer linear programming or mixed-integer quadratic...
  • IntegerSequences

  • Referenced in 1 article [sw25549]
  • Mathematica package for computing with integer sequences. Its support for k-regular sequences includes basic...
  • Qstream

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

  • Referenced in 13 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...
  • tuftests

  • Referenced in 4 articles [sw26318]
  • output as a sequence of independent, uniform 32-bit 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 3 articles [sw12609]
  • generation sequencing assemblies capable of using diverse information sources. GRASS offers a mixed-integer 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...
  • DMP

  • Referenced in 1 article [sw19259]
  • positive integers, and for computing the beginning of the hard-to-count sequence enumerating unrestricted...
  • IPknot

  • Referenced in 2 articles [sw17124]
  • maximizing expected accuracy is solved by using integer programming with threshold cut. We also extend ... secondary structure with pseudoknots when a multiple sequence alignment is given. IPknot is validated through...
  • GRAPPA

  • Referenced in 9 articles [sw17255]
  • include distance-based methods, parsimony methods using sequence-based encodings, and direct optimization. The latter ... spirit of GESTALT). Our method generates an integer linear program with a carefully limited number...
  • IRanges

  • Referenced in 1 article [sw24832]
  • package IRanges: Infrastructure for Manipulating Intervals on Sequences. Provides efficient low-level and highly reusable ... manipulating and aggregating over annotated ranges of integers. Implements an algebra of range operations, including...