• GP-COACH

  • Referenced in 10 articles [sw09137]
  • dimensional problems. GP-COACH 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 ... first-order 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]
  • Inverter-Graph (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...
  • CTL-RP

  • Referenced in 4 articles [sw25264]
  • formula to an equi-satisfiable 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 so-called...
  • GITA

  • Referenced in 8 articles [sw00353]
  • program GITA calculates analytically the normal Birkhoff-Gustavson 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 Birkhoff-Gustavson 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 Birkhoff-Gustavson normal form for $N$ degrees of freedom -- BIRKHOFF 1.2 A REDUCE ... program to calculate the Birkhoff-Gustavson 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 well-formed 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...