Quantifier elimination and cylindrical algebraic decomposition
Saved in:
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York
Springer
c1998
|
| Series: | Texts and monographs in symbolic computation
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Call Number : | QA 155.7 .E4 .Q36 1998 |
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 39878 | ||
| 003 | MY-KLNDU | ||
| 005 | 20241218091945.0 | ||
| 008 | s1998 xxua bi 001 0 eng | ||
| 010 | |a 96-043590 | ||
| 020 | |a 3211827943 | ||
| 022 | |a 0943853X | ||
| 035 | |a 0000031867 | ||
| 039 | 9 | |a 201210290841 |b shahrim |c 201210290840 |d shahrim |c 201210290839 |d shahrim |y 200910091650 |z VLOAD | |
| 040 | |a UPNM | ||
| 090 | |a QA 155.7 .E4 |b .Q36 1998 | ||
| 245 | 0 | 0 | |a Quantifier elimination and cylindrical algebraic decomposition |c B.F.Caviness, J.R.Johnson (eds.) |
| 246 | 1 | 8 | |a Quantifier elimination. |
| 260 | |a New York |b Springer |c c1998 | ||
| 300 | |a xii, 431 p. |b ill. |c 25 cm. | ||
| 490 | 1 | |a Texts and monographs in symbolic computation. | |
| 500 | |a Papers from a symposium held Oct. 6-8, 1993, at the Research Institute for Symbolic Computation in Linz, Austria. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 650 | 0 | |a Algebra |x Data processing |v Congresses. | |
| 650 | 0 | |a Decomposition method |x Data processing |v Congresses. | |
| 650 | 0 | |a Algorithms |v Congresses. | |
| 700 | 1 | |a Caviness, Bob F. | |
| 700 | 1 | |a Johnson,Jeremy R | |
| 830 | 0 | |a Texts and monographs in symbolic computation | |
| 999 | |a vtls000029604 |c 39878 |d 39878 | ||