2 results
A formal study of Bernstein coefficients and polynomials†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 21 / Issue 4 / August 2011
- Published online by Cambridge University Press:
- 01 July 2011, pp. 731-761
-
- Article
- Export citation
Implementing the cylindrical algebraic decomposition within the Coq system
-
- Journal:
- Mathematical Structures in Computer Science / Volume 17 / Issue 1 / February 2007
- Published online by Cambridge University Press:
- 01 February 2007, pp. 99-127
-
- Article
- Export citation