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

LFLC 2000
 Referenced in 11 articles
[sw08217]
 representation of fuzzy logic functions by normal forms...

ARES
 Referenced in 6 articles
[sw10324]
 program to compute Birkhoff normal forms of symplectic maps in R4. A program to compute ... Birkhoff normal forms for symplectic maps in R4 is described. We consider the case ... relevant for applications. We compute the normal forms both in the nonresonant and resonant case ... provide the interpolating Hamiltonian and the normalizing transformation...

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

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...