#### Filter Results:

- Full text PDF available (4)

#### Publication Year

1998

2010

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Patrice Naudin, Claude Quitté
- Theor. Comput. Sci.
- 1998

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)

- Henri Lombardi, Claude Quitté
- Theor. Comput. Sci.
- 2008

- Thierry Coquand, Henri Lombardi, Claude Quitté
- J. Symb. Comput.
- 2010

- Henri Lombardi, Claude Quitté
- Math. Log. Q.
- 2008

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
- ›