Original language | English |
---|---|
Pages (from-to) | 239-239 |
Number of pages | 1 |
Journal | Journal of Symbolic Computation |
Volume | 34 |
DOIs | |
Publication status | Published - Oct 2002 |
Editorial: The integration of automated reasoning and computer algebra systems
S Linton, R Sebastiani
Research output: Contribution to journal › Editorial › peer-review