• P123

  • Referenced in 4 articles [sw19252]
  • avoiding that pattern. P123, to enumerate permutations containing exactly r occurrences of the pattern...
  • P1234

  • Referenced in 4 articles [sw19255]
  • avoiding that pattern. P1234, to enumerate permutations containing exactly r occurrences of the pattern...
  • P12345

  • Referenced in 4 articles [sw19256]
  • avoiding that pattern. P12345, to enumerate permutations containing exactly r occurrences of the pattern...
  • P123456

  • Referenced in 4 articles [sw19257]
  • avoiding that pattern. P123456, to enumerate permutations containing exactly r occurrences of the pattern...
  • F1234

  • Referenced in 4 articles [sw19254]
  • that pattern. F1234, Also to enumerate permutations containing exactly r occurrences of the pattern...
  • F12345

  • Referenced in 4 articles [sw19258]
  • that pattern. F12345, Also to enumerate permutations containing exactly r occurrences of the pattern...
  • F123

  • Referenced in 4 articles [sw19253]
  • that pattern. F123, Also to enumerate permutations containing exactly r occurrences of the pattern...
  • GPB

  • Referenced in 1 article [sw18875]
  • developed algorithm upon comparing it with enumeration-based exact method and the results from...
  • mplp2

  • Referenced in 5 articles [sw21188]
  • exactly solve many hard inference problems. However, these algorithms explicitly enumerate a candidate ... decomposition framework and clusterpursuit. The new algorithm exactly solves MAP inference problems arising from relational...
  • FreeSquares

  • Referenced in 3 articles [sw12555]
  • enumeration of sets of monomials. Then, this enumeration is treated by means of Hilbert functions ... chessboard to get exactly u unattacked squares? How many squares can a knight...
  • PANDA

  • Referenced in 2 articles [sw12654]
  • efficient implementation of the vertex and facet enumeration problem for polyhedra. The software is based ... decomposition, the option of doing computations in exact integer arithmetic, the exploitation of symmetry information...
  • ITC

  • Referenced in 0 articles [sw07633]
  • execute interactively single steps in an enumeration of the cosets of a subgroup ... thus to see in various windows exactly what is happening. Note that the ITC package...
  • DynamicPrevariety

  • Referenced in 1 article [sw19962]
  • present a parallel implementation of dynamic enumeration. Our first distributed memory implementation with forked processes ... thread safe Parma Polyhedral Library (PPL), in exact arithmetic with the GNU Multiprecision Arithmetic Library...
  • BARON

  • Referenced in 244 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CGAL

  • Referenced in 273 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 541 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • GAP

  • Referenced in 2204 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GAUSS

  • Referenced in 47 articles [sw00322]
  • The GAUSS Mathematical and Statistical System is a...
  • gfun

  • Referenced in 112 articles [sw00344]
  • The gfun package provides tools for determining and...
  • gmp

  • Referenced in 211 articles [sw00363]
  • GMP is a free library for arbitrary precision...