• cdd

  • Referenced in 115 articles [sw00114]
  • ANSI C) implementation of the Double Description Method [MRTT53] for generating all vertices (i.e. extreme ... efficient implementation of the double description method which is employed in cdd+. One useful feature...
  • cddplus

  • Referenced in 13 articles [sw04443]
  • implementation of the Double Description Method of Motzkin et al. for generating all vertices...
  • PANDA

  • Referenced in 7 articles [sw12654]
  • software is based on the double description method. Special features are the possibility to employ...
  • polco

  • Referenced in 4 articles [sw35919]
  • multi-​core implementations of the double description method: standard and born/die (for details...
  • FourierMotzkin

  • Referenced in 2 articles [sw27120]
  • Macaulay2 implementation of the Double Description Method (of Fourier, Dines and Motzkin) for converting between...
  • pypoman

  • Referenced in 1 article [sw41312]
  • convex polyhedra such as polytope projection, double description (conversion between halfspace and vertex representations), computing...
  • MOLGEN

  • Referenced in 26 articles [sw00586]
  • detailed description of the underlying mathematical concepts and many illustrating examples the paper is well ... considering homomorphic images of groups and double cosets of groups operating on sets, new methods...
  • qskeleton

  • Referenced in 0 articles [sw15165]
  • polyhedral computing software based on the double description method and Fourier-Motzkin elimination. We present ... elimination and a variation of the double description method (DDM) for computing a dual representation...
  • PyPolyhedron

  • Referenced in 0 articles [sw05371]
  • cddlib, a C implementation of the Double Description Method for generating all vertices (i.e., extreme...
  • $Apart

  • Referenced in 6 articles [sw10218]
  • identities and Lorentz invariance (LI) identities. A description on how to use this package, combined ... packages, to do one-loop calculations in double quarkonium production in e + e - colliders...
  • 3DNA

  • Referenced in 4 articles [sw21991]
  • categorize all base interactions and classify the double helical character of appropriate base pair steps ... recently recommended reference frame for the description of nucleic acid base pair geometry...
  • Olsson.wl

  • Referenced in 2 articles [sw40916]
  • analytic continuations of the Appell F1 double hypergeometric series from the linear transformations ... hypergeometric function. We provide a brief description of Olsson’s method and demonstrate the commands ... derivation of the regions of convergence of double hypergeometric series. This package can be used...
  • Part2Track

  • Referenced in 2 articles [sw41856]
  • handling time resolved image series but also double frame image sets, which are commonly recorded ... systems. The following work covers a short description of the package’s functionalities...
  • SCTL-MUS

  • Referenced in 8 articles [sw02245]
  • States (MUS) is also defined with a double goal: firstly, to show the fundamental aspects ... translation between MUS and a constructive formal description technique is automatic from the definition...
  • DAmath

  • Referenced in 2 articles [sw29424]
  • units assume IEEE-754 53-bit double precision (binary64) and rounding to nearest; since ... compiler’s math unit. The unit/function descriptions are not repeated here, see the corresponding AMath...
  • ROC2.wl

  • Referenced in 1 article [sw40928]
  • analytic continuations of the Appell F1 double hypergeometric series from the linear transformations ... hypergeometric function. We provide a brief description of Olsson’s method and demonstrate the commands ... derivation of the regions of convergence of double hypergeometric series. This package can be used...
  • K-angle

  • Referenced in 2 articles [sw15043]
  • reformulate the “K-angle” problem by introducing double indices for the reactions between the components ... formulation of the problem and the description of the whole algorithmic procedure and facilitates...
  • StanHeaders

  • Referenced in 4 articles [sw15586]
  • LinkingTo directive of their package’s DESCRIPTION file to build on the Stan library without ... handle the automatically differentiable scalar types (and doubles, ints, etc.), and a parser...
  • Algorithm 1005

  • Referenced in 1 article [sw35923]
  • presented. This is preceded by a description of the mathematical tools used to obtain ... triangular, symmetric, and band. All single and double precision BLAS derivatives have been implemented, together...
  • libcloudph++

  • Referenced in 1 article [sw37978]
  • three warm-rain schemes: the single- and double-moment bulk schemes, and the particle-based ... standard processors (CPUs). The paper includes complete description of the programming interface...