Sur la forme normale de Birkhoff et les centres isochrones = On the Birkhoff normal form and isochronous centreSCHUMAN, B.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1996, Vol 322, Num 1, pp 21-24, issn 0764-4442Article

The invariant factors of the incidence matrices of points and subspaces in PG(n,q) and AG(n,q)CHANDLER, David B; SIN, Peter; QING XIANG et al.Transactions of the American Mathematical Society. 2006, Vol 358, Num 11, pp 4935-4957, issn 0002-9947, 23 p.Article

Testing satisfiability of CNF formulas by computing a stable set of pointsGOLDBERG, Eugene.Lecture notes in computer science. 2002, pp 161-180, issn 0302-9743, isbn 3-540-43931-5, 20 p.Conference Paper

A note on relation schemes which are in 3NF but not in BCNFVINCENT, M. W; SRINIVASAN, B.Information processing letters. 1993, Vol 48, Num 6, pp 281-283, issn 0020-0190Article

POLYNOMIAL ALGORITHMS FOR COMPUTING THE SMITH AND HERMITE NORMAL FORMS OF AN INTEGER MATRIXRAVINDRAM KANNAN; ACHIM BACHEM.1979; S.I.A.M. J. COMPUTG; USA; DA. 1979; VOL. 8; NO 4; PP. 499-507; BIBL. 17 REF.Article

On the exact reduction of a univariate catastrophe to normal formWRIGHT, F. J; DANGELMAYR, G.Journal of physics. A, mathematical and general. 1985, Vol 18, Num 5, pp 749-764, issn 0305-4470Article

APPROXIMATION DE QUELQUES CLASSES DU CALCUL CLASSIQUE DES PREDICATS PAR DES CLASSES RESOLUBLES. INORGELA S.1980; LITOV. MAT. SBOR.; SUN; DA. 1980; VOL. 20; NO 1; PP. 135-143; ABS. LIT/ENG; BIBL. 6 REF.Article

Normal forms for periodic systemsSMITH, H. L.Journal of mathematical analysis and applications. 1986, Vol 113, Num 2, pp 578-600, issn 0022-247XArticle

A normal form which preserves tautologies and contradictions in a class of fuzzy logicsCALLEJAS BEDREGAL, Benjamin.Journal of algorithms (Print). 2007, Vol 62, Num 3-4, pp 135-147, issn 0196-6774, 13 p.Conference Paper

On learning monotone DNF formulae under uniform distributionsKUCERA, L; MARCHETTI-SPACCAMELA, A; PROTASI, M et al.Information and computation (Print). 1994, Vol 110, Num 1, pp 84-95, issn 0890-5401Article

A linear time equivalence test for read-twice DNF formulasPILLAIPAKKAMNATT, K; RAGHAVAN, V.Information processing letters. 1993, Vol 48, Num 6, pp 289-295, issn 0020-0190Article

Convergence versus integrability in Birkhoff normal formNGUYEN TIEN ZUNG.Annals of mathematics. 2005, Vol 161, Num 1, pp 141-156, issn 0003-486X, 16 p.Article

Maximum renamable Horn sub-CNFs : The Satisfiability ProblemBOROS, E.Discrete applied mathematics. 1999, Vol 96-97, pp 29-40, issn 0166-218XArticle

Computing normal forms of nonseparable Hamiltonians by symbolic manipulationRAINES, P. E; UZER, T.Computer physics communications. 1992, Vol 70, Num 3, pp 569-578, issn 0010-4655Article

NORMAL FORMS FOR HAMILTONIAN SYSTEMS.MEYER KR.1974; CELEST. MECH.; NETHERL.; DA. 1974; VOL. 9; NO 4; PP. 517-522; BIBL. 4 REF.Article

Décompositions successives de la forme normale d'un surréel et généralisation des ε-nombres = Successive decomposition of the normal form of a surreal and generalization of ε-nombersLEMIRE, D.Annales des sciences mathématiques du Québec. 1997, Vol 21, Num 2, pp 133-146, issn 0707-9109Article

The normal form of Borel sets. I: Borel sets of finite rankDUPARC, J.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1995, Vol 320, Num 6, pp 651-656, issn 0764-4442Article

Truncation criteria and algorithm for the reduction to normal form of catastrophe unfoldings. I: Singularities with zero rankCOWELL, R. G; WRIGHT, F. J.Proceedings of the royal society of London, series A : mathematical and physical sciences. 1989, Vol 424, Num 1867, pp 327-342, issn 0080-4630Article

Truncation criteria and algorithm for the reduction to normal form of catastrophe unfoldings. II: Singularities with non-zero rankCOWELL, R. G; WRIGHT, F. J.Proceedings of the royal society of London, series A : mathematical and physical sciences. 1989, Vol 424, Num 1867, pp 343-356, issn 0080-4630Article

Uniqueness and non-uniqueness of normal forms for vector fieldsBAIDER, A; CHURCHILL, R.Proceedings of the Royal Society of Edinburgh. Section A. Mathematics. 1988, Vol 108, Num 1-2, pp 27-33, issn 0308-2105Article

Unique normal forms for planar vector fieldsBAIDER, A; CHURCHILL, R.Mathematische Zeitschrift. 1988, Vol 199, Num 3, pp 303-310, issn 0025-5874Article

Normal proofs and their grammarTAKAHASHI, M; AKAMA, Y; HIROKAWA, S et al.Information and computation (Print). 1996, Vol 125, Num 2, pp 144-153, issn 0890-5401Article

On generalized Horn formulas and k-resolutionBÜNING, H. K.Theoretical computer science. 1993, Vol 116, Num 2, pp 405-413, issn 0304-3975Article

Instabilité paramétrique d'ondes de surfaceDouady, Stéphane; Fauve, Stéphan.1989, 217 p.Thesis

Birkhoff-Gustavson normal form and the semiclassical energies of a double pendulumALI, M. K; KIPP, S. S.Journal of physics. A, mathematical and general. 1994, Vol 27, Num 6, pp 1953-1966, issn 0305-4470Article