Keywords: Reliable computing;Taylor models;Automated stepsize control;Ordinary Differential Equation;Taylor series;Sollya;Rigorous Polynomial Approximation ...
確定! 回上一頁