• 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 ... 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...
  • 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...
  • GP-COACH

  • Referenced in 10 articles [sw09137]
  • dimensional problems. GP-COACH learns disjunctive normal form rules (generated by means of a context...
  • 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...