
GPCOACH
 Referenced in 10 articles
[sw09137]
 dimensional problems. GPCOACH learns disjunctive normal form rules (generated by means of a context...

KoMeT
 Referenced in 5 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...

CirCUs
 Referenced in 9 articles
[sw00128]
 InverterGraph (AIG), Conjunctive Normal Form (CNF) clauses, and Binary Decision Diagrams (BDDs). We show...

Catfact
 Referenced in 6 articles
[sw14840]
 invariant is less than 3 then normal forms for unfoldings are known. The recognition algorithm ... transforms the given unfolding into its normal form...

AS 106
 Referenced in 12 articles
[sw27945]
 distribution of nonnegative quadratic forms in normal variables...

Gpd
 Referenced in 8 articles
[sw08651]
 each arc. This construction enables normal form computations for free products with amalgamation...

AS 256
 Referenced in 11 articles
[sw14165]
 distribution of a quadratic form in normal variables. This paper describes an ISO Pascal algorithm...

CirQit2
 Referenced in 6 articles
[sw11380]
 circuit, conversion from simple negation normal form to a more optimized circuit representation, and adding...

CTLRP
 Referenced in 4 articles
[sw25264]
 formula to an equisatisfiable clausal normal form formulated in an extension of CTL with ... formal semantics for the clausal normal form, provide proof sketches for the soundness and completeness...

SymChaff
 Referenced in 5 articles
[sw00938]
 addition to the usual conjunctive normal form formula. This information, comprising of the socalled...

GITA
 Referenced in 8 articles
[sw00353]
 program GITA calculates analytically the normal BirkhoffGustavson form in Cartesian as well as angle ... motion. These quantities are presented in the form of a truncated power series, the highest ... calculation of the modified normal BirkhoffGustavson form for the Hamiltonian restricted by the resonance...

JITty
 Referenced in 5 articles
[sw10121]
 guaranteed that all produced results are normal forms w.r.t. the underlying TRS. The tool...

Sibyl
 Referenced in 5 articles
[sw11995]
 complete, provided that the negation normal form of the formulae given in input...

Shatter
 Referenced in 5 articles
[sw21225]
 instance in conjunctive normal form (CNF). The SBPs prune the search space by acting...

BIRKHOFF
 Referenced in 3 articles
[sw10755]
 Program for BirkhoffGustavson normal form for $N$ degrees of freedom  BIRKHOFF 1.2 A REDUCE ... program to calculate the BirkhoffGustavson normal form of a Hamiltonian system with $N$ degrees...

TenRes
 Referenced in 3 articles
[sw19993]
 Algorithmic operator algebras via normal forms for tensors. We propose a general algorithmic approach ... finite reduction system with unique normal forms. To have a smaller reduction system, we develop...

Fuchsia
 Referenced in 12 articles
[sw22363]
 which is able to find the epsilon form transformations can be used to evaluate Feynman ... which consists of three main steps: fuchsification, normalization, and factorization. During the fuchsification step ... differential equations is transformed into the Fuchsian form with the help of the Moser method ... Next, during the normalization step the system is transformed to the form where eigenvalues...

QWire
 Referenced in 4 articles
[sw20268]
 types to ensure that circuits are wellformed and has a sound operational semantics that ... circuits to a small set of normal forms. In addition, the language is highly modular...

JNF
 Referenced in 4 articles
[sw00478]
 numerical computation of the Jordan normal form of a complex matrix...

Cadmium
 Referenced in 4 articles
[sw06507]
 rewriting modulo Associativity, Commutativity and a restricted form of Distributivity (ACD) called Conjunctive Context ... Cadmium normalisation algorithm, since the normal form of a term may depend on what context...