Jacques Morgenstern

Jacques Morgenstern, professeur de mathématiques à l'université de Nice Sophia-Antipolis, a été un des pionniers du calcul formel et des interactions entre Mathématiques et Informatique.
Son oeuvre et son influence touchent des domaines aussi variés que les mathématiques, l'algorithmique, la logique, le calcul scientifique ou l'informatique théorique. Il s'est notamment penché sur des problèmes difficiles en algorithmique, tels que les bornes inférieures en analyse de complexité.

Il a abordé des questions fondamentales liées à l'évaluation de fonctions ou d'algorithmes, le conduisant à des résultats majeurs en géométrie algébrique effective : complexité de l'élimination algébrique, théorème des zéros effectif, calculs sur les invariants, bézoutiens, bases de Gröbner toriques.Ses travaux sur les algorithmes linéaires sont non-seulement des références au niveau théorique, mais ont également conduit à des applications industrielles importantes.

Jacques Morgenstern a été à l'origine, avec André Galligo, de la création du projet SAFIR (Systèmes Algébriques Formel pour l'Industrie et la Recherche). Il l'a dirigé jusqu'à son décès. SAFIR était un projet commun à l'INRIA, à l'Université de Nice-Sophia Antipolis et au CNRS avec ses laboratoires associés de Mathématiques : J.A. Dieudonné, URA 168 (par l'intermédiaire de son équipe Géométrie et Calculs ) d'une part, et d'Informatique, Signaux et Systèmes I3S , URA 1376, d'autre part.

Spécialiste reconnu et écouté du calcul formel, Jacques Morgenstern avait su faire partager à son équipe deux préoccupations constantes : développer des méthodes effectives et non pas seulement théoriques, et se soucier des applications possibles des recherches.
Le projet SAFIR a ainsi puisé des exemples en mécanique des corps articulés, en robotique, en géométrie, en calcul numérique et en combinatoire. La résolution de ces problèmes a conduit à des résultats en algorithmique, en théorie de la complexité, et au développement de logiciels de calcul symbolique originaux. Citons l'exemple de la recherche en différentiation automatique, partiellement financée par des contrats d'étude industriels, et qui a conduit au logiciel Odyssée appliqué avec succès à différents codes FORTRAN industriels, et à des résultats en complexité. On peut également citer l'environnement logiciel Central Control développé dans le cadre du projet européen PoSSo qui permet la coopération de systèmes de calcul formel et algébriques.

Jacques Morgenstern écrivait en 1993:

"Si nous n'avons pas l'ambition de proposer le langage parfait pour le Calcul Algébrique Formel ou des algorithmes temps réels pour la géométrie algébrique, nous désirons néanmoins nous appuyer sur une solide expérience pour proposer à la communauté du Calcul Scientifique des méthodes adéquates et des prototypes d'outils intégrés utilisables."

Portrait de Jacques Morgenstern par Suzie Morgenstern, son épouse.

Bibliographie de Jacques Morgenstern dans les Mathematical Reviews:

Giusti, M.; Heintz, J.; Morais, J. E.; Morgenstern, J.; Pardo, L. M. Straight-line programs in geometric elimination theory. J. Pure Appl. Algebra 124 (1998), no. 1-3, 101--146.

Heintz, Joos; Morgenstern, Jacques On the intrinsic complexity of elimination theory. J. Complexity 9 (1993), no. 4, 471--498.

Fitchas, Noaï; Galligo, André; Morgenstern, Jacques Algorithmes rapides en sequentiel et en parallèle pour l'élimination des quantificateurs en géométrie élémentaire. (French) [Fast sequential and parallel algorithms for quantifier elimination in elementary geometry] Séminaire sur les Structures Algébriques Ordonnées, Vol. I, 103--145, Publ. Math. Univ. Paris VII, 32, Univ. Paris VII, Paris, 1990.

Morgenstern, Jacques Invariant and geometric aspects of algebraic complexity theory. I. Invariant-theoretic algorithms in geometry (Minneapolis, MN, 1987). J. Symbolic Comput. 11 (1991), no. 5-6, 455--469.

Fitchas, Noaï; Galligo, André; Morgenstern, Jacques Precise sequential and parallel complexity bounds for quantifier elimination over algebraically closed fields. J. Pure Appl. Algebra 67 (1990), no. 1, 1--14.

Heintz, Joos; Morgenstern, Jacques On associative algebras of minimal rank. Applied algebra, algorithmics and error-correcting codes (Toulouse, 1984), 1--24, Lecture Notes in Comput. Sci., 228, Springer, Berlin, 1986.

Morgenstern, Jacques Une extension du théorème de Winograd. (French) Theoret. Comput. Sci. 8 (1979), no. 2, 255--259.

Morgenstern, Jacques Linear tangent algorithms and lower bounds for the complexity of computation. Information processing 74 (Proc. IFIP Congr., Stockholm, 1974), pp. 682--684. North-Holland, Amsterdam, 1974.

Morgenstern, J. Transformations de Fourier discrètes. (French) Journées algorithmiques (École Norm. Sup., Paris, 1975), pp. 159--167. Asterisque, No. 38--39, Soc. Math. France, Paris, 1976.

Morgenstern, Jacques On linear algorithms. Theory of machines and computations (Proc. Internat. Sympos., Technion, Haifa, 1971), pp. 59--66. Academic Press, New York, 1971.

Morgenstern, Jacques The linear complexity of computation. J. Assoc. Comput. Mach. 22 (1975), 184--194.

Morgenstern, Jacques Note on a lower bound of the linear complexity of the fast Fourier transform. J. Assoc. Comput. Mach. 20 (1973), 305--306.

Morgenstern, Jacques Algorithmes linéaires tangents et complexité. (French) C. R. Acad. Sci. Paris Sér. A-B 277 (1973), A367--A369.

Morgenstern, Jacques Algorithmes linéaires. (French) C. R. Acad. Sci. Paris Sér. A-B 272 1971 A1058--A1060.