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

What are our requirements for the language?


Subsections
next up previous
Next: Bounded genericity with dependent types Up: Implementing Computer Algebra: basic ideas Previous: Multivariate polynomials.
Marc Moreno Maza
2004-04-27