Journal of symbolic computation. 1996;22(4):435-458. doi: 10.1006/jsco.1996.0061 Q21.12025
Rigorous Error Analysis of Numerical Algorithms via Symbolic Computations
DOI: 10.1006/jsco.1996.0061
摘要 查看摘要
Journal of symbolic computation. 1996;22(4):435-458. doi: 10.1006/jsco.1996.0061 Q21.12025
DOI: 10.1006/jsco.1996.0061
摘要 查看摘要