1) Research Institute for Information Technology, Kyushu University
computer-assisted proof, functional equations, differential equations, residual form, sequential iteration
Date of correction: April 11, 2016
Correction: Full Text PDF
Edited and published by : The Institute of Electronics, Information and Communication Engineers Produced and listed by : Sanbi Printing Co. Ltd.