
Lattice Builder
 Referenced in 8 articles
[sw33929]
 Software Tool for Constructing Rank1 Lattice Rules. We introduce a new software tool ... construction algorithms for good rank1 lattice rules. It supports exhaustive and random searches ... construction of embedded rank1 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 quasirandom integration point...

elrint3d
 Referenced in 1 article
[sw13934]
 Routine Using a Sequence of Embedded Lattice Rules. A threedimensional automatic cubature routine, called ... algorithm is based on a 2scopy 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 rulebased modeling on surfaces. Spatkin implements a direct, latticebased 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]
 depthfirst 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 manybody 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 rulebased syntax. We define a modeltheoretic semantics...

OntCheck
 Referenced in 1 article
[sw07143]
 static checking, semantic type and domainrestrcted rules, are fulfilled in a unified framework ... then separately check them by a latticebased constraint solver and a description logic reasoner...

ADOLC
 Referenced in 249 articles
[sw00019]
 ADOLC: 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...