| Sun, 25 Oct 2009 08:57:36 +0100 | chaieb | A theory of polynomials based on lists | changeset | files |
| Sun, 25 Oct 2009 08:57:35 +0100 | chaieb | Add a quantifier elimination for parametric linear arithmetic over ordered fields (parameters are multivariate polynomials) | changeset | files |
| Sun, 25 Oct 2009 00:10:25 +0200 | wenzelm | merged | changeset | files |