Quantifier elimination and cylindrical algebraic decomposition
B.F. Caviness, J.R. Johnson (eds.)
Bok Engelsk 1998
| Utgitt | Wien : Springer , c1998
|
|---|---|
| Omfang | XIX, 431 s.
|
| Opplysninger | Papers from a symposium held Oct. 6-8, 1993, at the Research Institute for Symbolic Computation in Linz, Austria.
|
| Emner | |
| ISBN | 3211827943
|
