Daniel Lazard - Daniel Lazard
Daniel Lazard | |
|---|---|
| Urodzić się | 10 grudnia 1941 |
| Narodowość | Francuski |
| Alma Mater | Uniwersytet Paryski |
| Kariera naukowa | |
| Pola | Matematyka , informatyka |
| Instytucje | Uniwersytet Piotra i Marii Curie |
| Praca dyplomowa | Autour de la frazes (1968) |
| Doradca doktorski | Pierre Samuel |
Daniel Lazard (ur. 10 grudnia 1941) to francuski matematyk i informatyk . Jest emerytowanym profesorem na Université Pierre et Marie Curie .
Biografia
Lazard urodził się w Carpentras . Doktoryzował się na Uniwersytecie Paryskim w 1968 r. za pracę pt. Autour de la platitude . Jego promotorem był Pierre Samuel .
Lazard rozpoczął swoją karierę akademicką od pracy w algebrze przemiennej , zwłaszcza nad modułami płaskimi . Około 1970 roku rozpoczął pracę w algebrze komputerowej , która wkrótce stała się jego głównym obszarem badawczym. W tej dziedzinie szczególnie interesuje się wielomianami wielowymiarowymi i bardziej ogólnie obliczeniową geometrią algebraiczną , z naciskiem na rozwiązywanie układów wielomianowych .
Przed planowanym przejściem Lazarda na emeryturę pod koniec 2004 r. na Uniwersytecie Pierre'a i Marii Curie odbyła się konferencja poświęcona rozwiązywaniu układów wielomianowych, aby uczcić jego wkład w algebrę komputerową, rozwiązywanie układów wielomianowych i aplikacje.
Wybrane składki
- Lazard (1969) zauważył, że moduł jest płaski tylko wtedy, gdy jest to ogranicza bezpośrednio z skończenie wytworzonych wolnych modułów . W konsekwencji można wywnioskować, że każdy skończenie przedstawiony moduł płaski jest rzutowy . (Patrz moduł płaski § Limity kategorii )
- W algebrze komputerowej, wypadkowa dwóch wielomianów może być użyta do analizy modularnych obrazów największego wspólnego dzielnika wielomianów całkowitych, gdzie współczynniki są brane modulo pewna liczba pierwsza p . Wypadkowa dwóch wielomianów jest często obliczana w metodzie Lazarda-Rioboo-Tragera znajdowania całki ze stosunku wielomianów.
- Lazard (1992) wprowadził algorytm lextriangular do uzyskania rozkładu trójkątnego układu wielomianowego. Zobacz Układ równań wielomianowych § Łańcuchy regularne .
Bibliografia
- Lazard Daniel (1969), "Autour de la frazes", Bulletin de la Société Mathématique de France , 97 : 81-128, doi : 10.24033/bsmf.1675
- Faugère, Jean-Charles ; Gianni, Patrizia; Lazarda, Daniela; Mora, Teo (1993), „Efficient obliczania zero-wymiarowych baz Gröbnera przez zmianę kolejności”, Journal of Symbolic Computation , 16 (4): 329-344, doi : 10.1006/jsco.1993.1051 , MR 1263871
- Lazard, Daniel (2009), „Trzydzieści lat rozwiązywania układu wielomianowego, a teraz?”, Journal of Symbolic Computation , 44 (3): 222-231, doi : 10.1016/j.jsc.2008.03.004
- Lazard, Daniel (1981), "Resolution des systèmes d'équations algébriques", informatyka teoretyczna , 15 : 77-110, doi : 10.1016/0304-3975 (81) 90064-5
- Lazard, Daniel (1992), "Rozwiązywanie zerowych systemów algebraicznych", Journal of Symbolic Computation , 13 (2): 117-131, doi : 10.1016/s0747-7171(08) 80086-7.
- Abramson, Michael (2001), "Rozwiązywanie układów równań algebraicznych, tłumaczenie (Lazard 1981)", Biuletyn ACM SIGSAM , 35 (3): 11-37, doi : 10.1145/569746.569750 , S2CID 5244703
- ICPSS, International Conference on Polynomial System Solving oraz wydanie specjalne Journal of Symbolic Computation na cześć Daniela Lazarda , zarchiwizowane od oryginału 26.04.2012
Bibliografia
- ^ "LAZARD Daniel" , Sorbonne Université - LIP6, pobrane 13 sierpnia 2020 r.
- ^ Daniel Lazard w projekcie Genealogia Matematyki .
- ^ „Międzynarodowa konferencja na temat rozwiązywania układów wielomianowych, Paryż, 24-25-26 listopada 2004 r., na cześć Daniela Lazarda ” , LIP6, zarchiwizowana z oryginału 14 marca 2009 r.