** Next:** Bounded genericity with dependent types
**Up:** Implementing Computer Algebra: basic ideas
** Previous:** Multivariate polynomials.

**Subsections**

** Next:** Bounded genericity with dependent types
**Up:** Implementing Computer Algebra: basic ideas
** Previous:** Multivariate polynomials.
*Marc Moreno Maza *

2004-04-27