INTLAB
大石進一
クリーブ・モラー (en)
フォルクマール・ボルネマン (de)
小林健太. (2013). MATLAB と INTLAB による精度保証付き数値計算とその応用 (数学ソフトウェアと教育: 数学ソフトウェアの効果的利用に関する研究). 京都大学数理解析研究所講究録, 1865: 154-163.