Les Notes Informelles de Calcul Formel de 1984 à 1994

You will find hereafter the list of our publicated papers until the year 1994. Some of them are not available in an electronic format, but we can send them to your surface mail. Just ask it at the following address: schost@stix.polytechnique.fr.

• Fonctions d'Hilbert Samuel d'après Macaulay, Stanley et Bayer, par Michel Demazure. PDF.
  
  

• Une définition constructive du resultant, par Michel Demazure. PDF.
  
  

• Le monoïde de Mayr-Meyer, par Michel Demazure. PDF.
  
  

• Le théorème de complexité de Mayr-Meyer, par Michel Demazure. PDF.
  
  

• Une représentation récursive des polynômes, par Michel Demazure.
  
  

• Complexity of Standard Bases in Projective Dimension Zero par Marc Giusti, EUROCAL'87, Leipzig, June 1987, published in Lecture Notes in Computer Science 378, Springer, Page 333-336.
  
  

• Fonctions symétriques et changements de bases par Annick Valibouze, EUROCAL'87, Leipzig, June 1987, published in Lecture Notes in Computer Science 378, Springer, Page 309-314.
  
  

• Charles Hermite déjà..., par Michel Demazure.
  
  

• Combinatorial dimension theory of algebraic varieties, par Marc Giusti. Journal of Symbolic Computation (1988) page 249-265
  
  

• Symmetric Polynomials and elimination par Marc Giusti, Daniel Lazard et Annick Valibouze.
  
  

• Algebraic transformations of polynomial equations,symmetric polynomials and elimination par Marc Giusti, Daniel Lazard et Annick Valibouze, ISSAC '88 (P. Gianni, ed.), Lect. Notes in Comp. Sc. 358, 309-314.
  
  

• Réécriture et bases standard, par Michel Demazure.
  
  

• On the Castelnuovo regularity for curves, par Marc Giusti. Proceedings of ISSAC-89, Portland Oregon, 1989.
  
  

• Résolvantes et fonctions symétriques, par Annick Valibouze, ISSAC`89 (Portland, Oregon),ACM Press, 390-399.
  
  

• Inversibility of Rational Mappings and structural Identifiability in Automatics, par François Ollivier, Proceedings of ISSAC-89, Portland Oregon, 1989.
  
  

• Symbolic computation with symmetric polynomials, an extension to Macsyma, par Annick Valibouze, Computers and Mathematics (1989, MIT, Cambridge, Mass.), Springer-Verlag, 308-320.
  
  

• Une majoration de la fonction de Hilbert et ses conséquences pour l'interpolation algébrique, par Marc Chardin, Bull. Soc. Math. France, 117, p. 305--318 (1989).
  
  

• Lien entre deux résultats sur la répartition modulo 1 de la suite des multiples d'un nombre réel, par Marc Chardin, C. R. Acad. Sci. Paris, t. 308, Série I, p. 519--520 (1989).
  
  

• Contributions à l'algèbre commutative effective et à la théorie de l'élimination, par Marc Chardin, Thèse de l'Université Pierre et Marie Curie (Paris VI), 19 Février 1990.
  
  

• On first integrals of linear systemes, Frobenius integrability theorem and linear representation of Lie-Algebras, par Jean Moulin-Ollagnier et Jean-Marie Strelcyn, mai 1990.
  
  

• Lazy resolution of plane curves, par Guillermo MORENO SOCÍAS (1990).
  
  

• Filtered generic Hilbert function and a structure theorem for standard bases, par Guillermo MORENO SOCÍAS (1990).
  
  

• Manipulation explicite de pointeurs et efficacité en Scratchpad, par Jean Moulin-Ollagnier, 1990, exposé aux journees en Scratchpad.
  
  

• Un algorithme pour le calcul des résultants , par Marc Chardin, Effective Methods in Algebraic Geometry (Actes de MEGA 90), Progress in Math. 94, Birkhauser, 1991.
  
  

• Canonical bases of subalgebras: relations with standard bases, finiteness con ditions and application to tame automorphisms, , par François Ollivier, , Effective Methods in Algebraic Geometry (Actes de MEGA 90), Progress in Math. 94, Birkhauser, 1991.
  
  

• Standard bases of differential ideals, par François Ollivier,Proceedings of AAECC-8 (Tokyo) Lecture Notes in Computer Science 508, Springer, Page 322-329, 1991.
  
  

• Puiseux pairs, resolutions of curves, and lazy evaluation , par Jean-Pierre Henry et Michel Merle (aout 91).
  
  

• An ackermannian polynomial ideal, par Guillermo MORENO SOCÍAS, in "Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. Proceedings, 1991", Lect. Notes in Comp. Sc. 539 (1991) 269-280.
  
  

• Approche effective de la théorie des invariants des groupes classiques, (partie I), (partie II), par Bernard Mourrain, Thèse de l'école Polytechnique, septembre 1991.
  
  

• Autour de la fonction de Hilbert-Samuel (escaliers d'idéaux polynomiaux), par Guillermo MORENO SOCÍAS, Thèse de l'École polytechnique (1991).
  
  

• Algorithmes -disons rapides- pour la décomposition d'une variété algébrique en composantes irréductibles et équidimensionnelles, par Marc Giusti et Joos Heintz Effective Methods in Algebraic Geometry (Proceedings of MEGA'90) Progress in Math. (94) Birkhauser , 1991.
  
  

• Differential Resultants and Subresultants, par Marc Chardin, Proceedings FCT'91, Lecture Notes in Comput. Sci. 529, Springer-Verlag, 1991.
  
  

• Le problème de l'identifiabilité structurelle globale : approche théorique, méthodes effectives et bornes de complexité, par François Ollivier, Thèse de l'école Polytechnique, 176 pages, 1991.
  
  

• Some Constructions in Rings of Differential Polynomials, par François Ollivier, en collaboration avec G. Gallo et B. Mishra, Actes de AAECC'9, New Orleans, Octobre 1991, Lecture Notes of Computer Science 539, pp 171-182, Springer Verlag, 1991.
  
  

• Generalized Standard Bases with Application to Control, par François Ollivier, Actes de ECC'91, Grenoble, 170--176, HERMES, 1991.
  
  

• L'algèbre des matrices formelles et leurs identités, par Bernard Mourrain, version française de Computable identities in the algebra of formal matrices, Theoretical Computer Science, Vol 98, (1992).
  
  

• Computing subfields: Reverse of the primitive element problem, par Annick Valibouze, Proceedings of MEGA'92 (Nice, april 1992), Progress in Mathematics 109, 163-176.
  
  

• Sur la complexité du théorème des zéros, par Noaï FITCHAS, Marc GIUSTI et Frédéric SMIETANSKI, Proceedings of the Second International Conference on Non-linear Optimization and Approximation, La Habana (1993) Cuba, Peter Lange Verlag, Frankfurt am Main (1995).
  
  

• Length of polynomial ascending chains and primitive recursiveness, par Guillermo MORENO SOCÍAS, Math. Scand. 71 (1992) 181-205.
  
  

• Some Theoretical Problems in Effective Differential Algebra and their Relation to Control Theory, par François Ollivier, actes de NOLCOS-92, Bordeaux, Juin 1992.
  
  

• De l'importance d'être constant, par Jacques-Arthur Weil, Rédaction d'un exposé aux journées Médicis 92 (CIRM, Octobre 92).
  
  

• La détermination de la dimension et des points isolées d'une variété algébrique peuvent s'effectuer en temps polynomial, par Marc Giusti,Compte-Rendus de ``Computing in Algebraic Geometry'', Intern. Meeting on Commutative Algebra, Cortona 1991, D. Eisenbud et L. Robbiano eds, Cambridge University Press, 1993.
  
  

• Sur l'arité des fonctions, par Annick Valibouze, European Journal of Combinatorics, 1993, Vol. 14, pp 359-372.
  
  

• Complexity of Standard Bases in Projective Dimension Zero II par Marc Giusti, Proceedings of AAECC-8 (Tokyo) Lecture Notes in Computer Science 508, Springer, Page 322-329, 1993
  
  

• The Resultant via a Koszul Complex, par Marc Chardin, Computational Algebraic Geometry (Actes de MEGA 92), Progress in Math. 109, Birkhauser, 1993.
  
  

• Multivariate Subresultants, par Marc Chardin, 1993, J. Pure Appl. Algebra (à paraître).
  
  

• Sur l'annulation de l'homologie du complexe de Koszul gradué , par Marc Chardin, 1993, paru dans Bull. Soc. Math. France, 123, p. 87-105 (1995).
  
  

• Résolvantes de Lagrange, par Annick Valibouze et J.M. Arnaudiès.
  
  

• Calcul formel pour les méthodes de Lie en mécanique céleste, par Pierre-Vincent Koseleff. Thèse de Doctorat de l'école Polytechnique, soutenue le 29 janvier 1993.
  
  

• Relations among Lie Formal Series and Construction of Symplectic Integrators, par Pierre-Vincent Koseleff, Mai 1993, Proceedings of AAECC'10, Lecture Notes in Computer Science 673.
  
  

• Liouvillian first integrals of homogeneous polynomial 3-dimensional vector fields, par Jean Moulin-Ollagnier.
  
  

• Sur la saturation, la stabilité des systèmes d'équations aux dérivées partielles et le calcul formel, par Jirung-Albert Shih, Thèse de l'université Denis Diderot (Paris VII), soutenue le 11 mars 1994.
  
  

• Groupes de Galois de polynômes en degré 8 , par Annick Valibouze et J.M. Arnaudiès, Rapport LITP no 94.25 (17 pages).
  
  

• Groupes de Galois de polynômes en degré 9, par Annick Valibouze et J.M. Arnaudiès, Rapport LITP no 94.30 (11 pages).
  
  

• The use of the Special semi-groups for solving differential equations, par Jacques-Arthur Weil, International Symposium on Symbolic and Algebraic Computation 94 (ISSAC 94, Oxford), Proceedings (Ed: M. Giesbrecht and J. von zur Gathen), ACM press, 1994.
  
  

• Calculs de résolvantes, par Annick Valibouze et J.M. Arnaudiès, Rapport LITP no 94.46 (22 pages).
  
  

• Groupes de Galois de polynômes de degré 4 à 6, par Annick Valibouze et J.M. Arnaudiès, Rapport LITP no 94.48 (23 pages).
  
  

• Groupes de Galois de polynômes en degré 7, par Annick Valibouze et J.M. Arnaudiès, Rapport LITP no 94.49 (21 pages).
  
  

• Groupes de Galois de polynômes de degré 10 ou 11, par Annick Valibouze et J.M. Arnaudiès, Rapport LITP no 94.50 (9 pages).
  
  

• On the non-existence of constants of derivations: the proof of a theorem of Jouanolou and its development, par Jean Moulin-Ollagnier, Andrzej Nowicki et Jean-Marie Strelcyn, Bulletin des Sciences Mathématiques (1995) 119, pp 195-233.
  
  

• Formules à la Macaulay pour les sous-résultants en plusieurs variables et application au calcul d'un résultant réduit, par Marc Chardin, (version modifiée de l'article du même nom paru au C. R. Acad. Sci. Paris, t. 319, Série I, p. 433-436 (1994)).
  
  

• Sur l'indépendance linéaire de certains monômes modulo des polynômes génériques, par Marc Chardin, C. R. Acad. Sci. Paris, t. 319, Série I, p. 1033-1036 (1994).
  
  

• Comparison between Deprit and Dragt-Finn Methods, par Pierre-Vincent Koseleff, Celestial Mechanics 58, (1994), 17-36.
  
  

• Note on Kovacic's algorithm, par Félix Ulmer et Jacques-Arthur Weil (1994) (à paraître dans Journal of Symbolic Computation 1995).
  
  

• Quelques approches algébriques effectives des phénomènes différentiels, par Jacques-Arthur Weil, Ariane Germa-Péladan, François Ollivier et Jirung-Albert Shih, Revue du CNRS ``Images des mathématiques 1995'' (Eds: J-L Colliot-Thelene et F. Murat)
  
  

• Théorie de Galois effective et implantation en AXIOM, par Antoine Colin, rapport de DEA.

Notes des autres années :

LIX

Pour toute remarque ou renseignement sur ce serveur, merci d'envoyer un message à webmaster@lix.polytechnique.fr