Claude Quitté

Learn More
This paper shows that a recently proposed approach of D. Q. Wan to bivariate factorization over finite fields, the univariate factoring algorithm of V. Shoup, and the new bound of this paper for the average number of irreducible divisors of polynomials of a given degree over a finite field can be used to design a bivariate factoring algorithm that is(More)
The Traverso-Swan theorem says that a reduced ring A is seminormal if and only if the natural homomorphism Pic A → Pic A[X] is an isomorphism ([18, 17]). We give here all the details needed to understand the elementary constructive proof for this result given by Thierry Coquand in [2]. This example is typical of a new constructive method. The final proof is(More)
  • 1