Journal of symbolic computation. 1997;24(6):657-665. doi: 10.1006/jsco.1997.0159 Q21.12025
On Validated Computing in Algebraic Number Fields
DOI: 10.1006/jsco.1997.0159
摘要 查看摘要
Journal of symbolic computation. 1997;24(6):657-665. doi: 10.1006/jsco.1997.0159 Q21.12025
DOI: 10.1006/jsco.1997.0159
摘要 查看摘要