• Lattice Builder

  • Referenced in 8 articles [sw33929]
  • Software Tool for Constructing Rank-1 Lattice Rules. We introduce a new software tool ... construction algorithms for good rank-1 lattice rules. It supports exhaustive and random searches ... construction of embedded rank-1 lattice rules is supported through any of these algorithms...
  • r2d2lri

  • Referenced in 11 articles [sw00772]
  • applied to a sequence of embedded lattice rules in such a fashion as to incur...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • order logic with equality. Otter’s inference rules are based on resolution and paramodulation ... algebra, logic calculi, combinatory logic, group theory, lattice theory, and algebraic geometry. Note: Otter/Mace2...
  • Galicia

  • Referenced in 16 articles [sw13047]
  • algorithmic methods for lattice construction and layout and for association rule extraction...
  • QSCMVN

  • Referenced in 2 articles [sw32365]
  • vectorized version of QSCMVN which uses lattice rules for the quasi-random integration point...
  • elrint3d

  • Referenced in 1 article [sw13934]
  • Routine Using a Sequence of Embedded Lattice Rules. A three-dimensional automatic cubature routine, called ... algorithm is based on a 2s-copy lattice augmentation sequence, the seed lattice for which...
  • Apriori

  • Referenced in 23 articles [sw40322]
  • Apriori is a program to find association rules and frequent item sets (also closed ... breadth first search on the subset lattice and determines the support of item sets ... useful only, because it can generate association rules directly (while all other programs available...
  • Eclat

  • Referenced in 19 articles [sw40292]
  • depth first search on the subset lattice and determines the support of item sets ... also be used to find association rules. The Python version is simplified, much slower...
  • Spatkin

  • Referenced in 1 article [sw34203]
  • simulator for rule-based modeling on surfaces. Spatkin implements a direct, lattice-based method, which ... reaction network implied by a set of rules. Models are specified using an extension...
  • ProtNet

  • Referenced in 1 article [sw29365]
  • free to translate and rotate on the lattice that represents a sort of naïve unstructured ... complexes or dissociate depending on the interaction rules defined in an experimental protein interaction network ... performing different simulations using as interaction rules those derived from an experimental interactome of Saccharomyces ... three dimensional lattice model. Conclusion: ProtNet is a cellular automaton model, where each protein molecule...
  • SaM

  • Referenced in 4 articles [sw40297]
  • depth-first traversal of the subset lattice with a horizontal transaction representation. The main strength ... only find frequent item sets, not association rules...
  • DiracQ

  • Referenced in 3 articles [sw08513]
  • building in standard commutation and anticommutation rules for several objects relevant in many-body Physics ... Fermi operators defined on a discrete lattice, or the position and momentum operators...
  • Flix

  • Referenced in 2 articles [sw39893]
  • inspired by Datalog and extends it with lattices and monotone functions. Using Flix, implementors ... pure Datalog, while retaining its familiar rule-based syntax. We define a model-theoretic semantics...
  • OntCheck

  • Referenced in 1 article [sw07143]
  • static checking, semantic type and domain-restrcted rules, are fulfilled in a unified framework ... then separately check them by a lattice-based constraint solver and a description logic reasoner...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ANSYS

  • Referenced in 703 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • cdd

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

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

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...