2006 | ||
---|---|---|
2 | EE | Christopher W. Brown, Christian Gross: Efficient Preprocessing Methods for Quantifier Elimination. CASC 2006: 89-100 |
1 | EE | Paul Libbrecht, Christian Gross: Authoring LeActiveMath Calculus Content. MKM 2006: 251-265 |
1 | Christopher W. Brown | [2] |
2 | Paul Libbrecht | [1] |