Verification methods: Rigorous results using floating-point arithmetic 论文

2010Acta Numerica引用 270
DOI
Numerical Methods and AlgorithmsPolynomial and algebraic computationComputability, Logic, AI Algorithms
Computability, Logic, AI AlgorithmsNumerical Methods and AlgorithmsPolynomial and algebraic computation
相关技术:Numerical Methods and AlgorithmsComputability, Logic, AI Algorithms
关系图谱

Verification methods: Rigorous results using floating-point arithmetic · 相关文章

暂无数据