Daniel Lazard (nacido el 10 de diciembre de 1941) es un matemático e informático francés . Es profesor emérito de la Université Pierre et Marie Curie . [1]
Daniel Lazard | |
---|---|
Nació | 10 de diciembre de 1941 |
Nacionalidad | francés |
alma mater | Universidad de Paris |
Carrera científica | |
Campos | Matemáticas , informática |
Instituciones | Universidad Pierre et Marie Curie |
Tesis | Autour de la platitude (1968) |
Asesor de doctorado | Pierre Samuel |
Biografía
Lazard nació en Carpentras . Obtuvo un doctorado de la Universidad de París en 1968 por una tesis titulada Autour de la platitude . Su director de doctorado fue Pierre Samuel . [2]
Lazard comenzó su carrera académica trabajando en álgebra conmutativa , especialmente en módulos planos . Hacia 1970 comienza a trabajar en álgebra informática , que poco después se convierte en su principal área de investigación. En este campo, está especialmente interesado en polinomios multivariados y más en general en geometría algebraica computacional , con énfasis en la resolución de sistemas polinomiales . [ cita requerida ]
Antes de la jubilación programada de Lazard a finales de 2004, se celebró una conferencia sobre resolución de sistemas polinomiales en la Universidad Pierre et Marie Curie para celebrar sus contribuciones al álgebra informática, resolución de sistemas polinomiales y aplicaciones. [3]
Contribuciones seleccionadas
- Lazard (1969) señaló que un módulo es plano si y solo si es un límite directo de módulos libres generados de forma finita . Como consecuencia, se puede deducir que todo módulo plano finamente presentado es proyectivo . (Ver módulo plano § Colimits categóricos )
- En álgebra computacional, la resultante de dos polinomios se puede usar para analizar imágenes modulares del máximo común divisor de polinomios enteros donde los coeficientes se toman módulo algún número primo p . La resultante de dos polinomios se calcula con frecuencia en el método de Lazard-Rioboo-Trager para encontrar la integral de una razón de polinomios.
- Lazard (1992) introdujo el algoritmo lextriangular para obtener la descomposición triangular de un sistema polinomial. Ver Sistema de ecuaciones polinomiales § Cadenas regulares .
Bibliografía
- Lazard, Daniel (1969), "Autour de la platitude", Bulletin de la Société Mathématique de France , 97 : 81–128, doi : 10.24033 / bsmf.1675
- Faugère, Jean-Charles ; Gianni, Patrizia; Lazard, Daniel; Mora, Teo (1993), " Cálculo eficiente de bases de Gröbner de dimensión cero por cambio de orden", Journal of Symbolic Computation , 16 (4): 329–344, doi : 10.1006 / jsco.1993.1051 , MR 1263871
- Lazard, Daniel (2009), "Treinta años de resolución de sistemas polinomiales, ¿y ahora?", Journal of Symbolic Computation , 44 (3): 222-231, doi : 10.1016 / j.jsc.2008.03.004
- Lazard, Daniel (1981), "Résolution des systèmes d'équations algébriques", Informática teórica , 15 : 77-110, doi : 10.1016 / 0304-3975 (81) 90064-5
- Lazard, Daniel (1992), "Resolver sistemas algebraicos de dimensión cero", Journal of Symbolic Computation , 13 (2): 117-131, doi : 10.1016 / s0747-7171 (08) 80086-7.
- Abramson, Michael (2001), "Resolver sistemas de ecuaciones algebraicas, traducción de (Lazard 1981)", ACM SIGSAM Bulletin , 35 (3): 11-37, doi : 10.1145 / 569746.569750
- ICPSS, Conferencia internacional sobre resolución de sistemas polinomiales, y número especial de Journal of Symbolic Computation, en honor a Daniel Lazard , archivado desde el original el 26 de abril de 2012
Referencias
- ^ "LAZARD Daniel" , Sorbonne Université - LIP6, consultado el 13 de agosto de 2020.
- ^ Daniel Lazard en el Proyecto de genealogía de las matemáticas .
- ^ "Conferencia internacional sobre la resolución de sistemas polinomiales, París, 24-25-26 de noviembre de 2004, en honor a Daniel Lazard" , LIP6, archivado desde el original el 14 de marzo de 2009.
enlaces externos
- Daniel Lazard en el Proyecto de genealogía matemática