Calcul symbolique non commutatif - Hoang Ngoc Minh, V.
36,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
  • Broschiertes Buch

Il est bien établi que le calcul formel permet de vérifier des conjectures, des démonstrations, des formules longues et pénibles. L'innovation est qu'avec quelques opérations élémentaires sur des suites de symboles 0 et 1, on capte aussi, de façon exacte, de nouvelles formules, identités remarquables et conjectures insolites. Dans ce travail, nous illustrons cette dernière assertion en proposant des algorithmes via la combinatoire des mots de Lyndon. Nous montrons d'abord que l'algèbre des polylogarithmes est isomorphe à celle du mélange et nous en tirons des conséquences concernant le calcul…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
Il est bien établi que le calcul formel permet de vérifier des conjectures, des démonstrations, des formules longues et pénibles. L'innovation est qu'avec quelques opérations élémentaires sur des suites de symboles 0 et 1, on capte aussi, de façon exacte, de nouvelles formules, identités remarquables et conjectures insolites. Dans ce travail, nous illustrons cette dernière assertion en proposant des algorithmes via la combinatoire des mots de Lyndon. Nous montrons d'abord que l'algèbre des polylogarithmes est isomorphe à celle du mélange et nous en tirons des conséquences concernant le calcul effectif de la monodromie, du comportement asymptotique, des relations algébriques et des équations fonctionnelles. Nous examinons ensuite le rapport entre les séries génératrices commutatives des polylogarithmes et des fonctions hypergéométriques pour obtenir diverses sommations. La série génératrice non commutative des polylogarithmes nous mène au calcul de l'associateur de Drinfel'd mis sous forme factorisée. Nous appliquons finalement ces études aux équations intégro-différentielles et à l'obtention d'un système de réécriture des relations polynomiales entre les sommes d'Euler-Zagier.
Autorenporträt
Hoang Ngoc Minh a passé une thèse, en 1990, et une Habilitation à Diriger la Recherche, en 2000, sous la direction de Gérard Jacob à Lille.Il est nommé Maître de Conférences, en 1991, puis Professeur en Informatique, en 2004, à l'Université de Lille.