Séminaire Logique mathématique ICJ

Thierry Combot - Calcul des relations additives et multiplicatives entre les racines d'un polynôme

Europe/Paris
112

112

Description

Soit PQ[x] un polynome sans facteur carrés de degré n, et dont les coefficients sont de hauteur au plus h. Nous présenterons un algorithme pour le calcul des relations linéaires et multiplicatives entre les racines de P, qui s'exécute en temps polynomial en n,h, alors que les algorithmes connus étaient en temps polynomial en n!. Nous verrons aussi comment construire des polynomes ayant beaucoup de relations entre leurs racines. Enfin, nous appliquerons cette approche pour le calcul des intégrales hyperelliptiques: il est possible de tester si une intégrale hyperelliptique est élémentaire probabilistiquement en temps polynomial en le degré et la hauteur des coefficients.