
ZTree
 Referenced in 643 articles
[sw11707]
 representation, allowing the simple programming of normal form games, extensive form games, double auctions...

MATCONT
 Referenced in 442 articles
[sw00551]
 interactive environment for the continuation and normal form analysis of dynamical systems ... extended systems, and the computation of normal form coefficients for bifurcations of limit cycles...

VAMPIRE
 Referenced in 258 articles
[sw02918]
 system works only with clausal normal forms, the shell accepts a problem in the full...

Walksat
 Referenced in 209 articles
[sw04328]
 have been converted into, conjunctive normal form. They start by assigning a random value...

JBool
 Referenced in 115 articles
[sw06185]
 Boolean Functions defined either by conjonctive normal forms (clausal) or by disjonctive ones. Boolean Functions...

PROC NLMIXED
 Referenced in 68 articles
[sw11039]
 random effects) having either a standard form (normal, binomial, Poisson) or a general distribution that...

Homology
 Referenced in 30 articles
[sw04871]
 simplicial homology based on efficient Smith normal form algorithms Geometric properties of topological spaces ... calculation of the Smith Normal Form of the boundary matrices which, in general, are sparse ... calculation of the Smith Normal Form of sparse matrices and compare their running times...

DepQBF
 Referenced in 45 articles
[sw09734]
 boolean formulae (QBF) in prenex conjunctive normal form. It is based on the DPLL algorithm...

classifyCeq.lib
 Referenced in 38 articles
[sw11249]
 certain invariants without computing the normal form. We also give a description of the algorithms...

Janet
 Referenced in 37 articles
[sw07776]
 implemented to compute the Jacobson normal form of a matrix with entries in this Weyl...

UnitWalk
 Referenced in 36 articles
[sw00993]
 problem for Boolean formulas in conjunctive normal form. Despite its simplicity, this algorithm performs well...

GAMUT
 Referenced in 18 articles
[sw30178]
 algorithm requiring a normalform game as input. GAMUT is not to be confused with ... analysis of finite extensive and normal form games. GAMUT is made to be used...

goodwin.f77
 Referenced in 22 articles
[sw37144]
 form f(t)exp{t2}dt: Application to logisticnormal models. Journal of the American ... Statistical Association 1990; 85: 464469. Logisticnormal distributions and related functions arise ... development of numerous approximations to the desired forms, often with consequences that have not been ... covariate regression models of the logisticnormal form. We conducted a simulation study that compares...

KoMeT
 Referenced in 13 articles
[sw28720]
 value of different definitional translations to normal form. In this paper, we compare different normal ... form translations from a practical point of view. The usual translation of a closed ... firstorder formula to a disjunctive normal form has severe drawbacks, namely the disruption ... increase of the length of the normal form. In implementations, the standard translation is preferred...

Coxeter
 Referenced in 23 articles
[sw07827]
 following : Reduced expression and normal form computations; Bruhat ordering; Ordinary KazhdanLusztig polynomials; KazhdanLusztig...

PrecoSAT
 Referenced in 21 articles
[sw07832]
 propositional formula in conjunctive normal form (CNF). The Handbook of Satisfiability gives an excellent overview...

Nenofex
 Referenced in 18 articles
[sw09579]
 quantified boolean formulae (QBF) in negation normal form (NNF), which relies on expansion...

FLOTTER
 Referenced in 16 articles
[sw29685]
 FLOTTER and SPASS are a clause normal form translator for firstorder logic...

HARP
 Referenced in 16 articles
[sw26323]
 avoids conversion to any kind of normal form, and combines a proof condensation procedure with...

DDebugger
 Referenced in 15 articles
[sw09904]
 calculus to infer reductions, sort inferences, normal forms, and least sorts with the equational subset...