Thierry Combot - Calcul des relations additives et multiplicatives entre les racines d'un polynôme
→
Europe/Paris
112
112
Description
Soit un polynome sans facteur carrés de degré , et dont les coefficients sont de hauteur au plus . Nous présenterons un algorithme pour le calcul des relations linéaires et multiplicatives entre les racines de , qui s'exécute en temps polynomial en , alors que les algorithmes connus étaient en temps polynomial en . 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.