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