![]() |
| 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] |