Various problems in artificial intelligence can be solved by translating them into a quantified boolean formula (QBF) and evaluating the resulting encoding. In this approach, a QBF solver is used as a black box in a rapid implementation of a more general reasoning system. Most of the current solvers for QBFs require formulas in prenex conjunctive normal form as input, which makes a further tran...

We present a review of the normal form theory for weakly dispersive nonlinear wave equations where the leading order phenomena can be described by the KdV equation. This is an infinite dimensional extension of the well-known Poincaré-Dulac normal form theory for ordinary differential equations. We also provide a detailed analysis of the interaction problem of solitary waves as an important appl...

X iv :c s/ 04 12 00 5v 1 [ cs .S C ] 2 D ec 2 00 4 Jordan Normal and Rational Normal Form Algorithms Bernard Parisse, Morgane Vaughan Institut Fourier CNRS-UMR 5582 100 rue des Maths Université de Grenoble I 38402 St Martin d'Hères Cédex Résumé In this paper, we present a determinist Jordan normal form algorithms based on the Fadeev formula : (λ · I − A) ·B(λ) = P (λ) · I where B(λ) is (λ · I −...