Journal of symbolic computation. 2002;34(2):145-157. doi: 10.1006/jsco.2002.0547 Q21.12025
Interval Arithmetic in Cylindrical Algebraic Decomposition
DOI: 10.1006/jsco.2002.0547
摘要 查看摘要
Journal of symbolic computation. 2002;34(2):145-157. doi: 10.1006/jsco.2002.0547 Q21.12025
DOI: 10.1006/jsco.2002.0547
摘要 查看摘要