Slab-A MATLAB-like numerical tool which can do result verification

抄録

著者の作成した精度保証付き数値計算ツールであるSlabについて報告する。SlabはほぼMATLAB互換で、精度保証モードと近似計算モードがある。精度保証モードでは、得られた近似解の近くに真の解があるかどうかやその精度が何桁あるかなどが同時に示される。計算速度はMATLABと同程度以上で、精度保証も近似解を求めるのと同程度かそれ以下で行える場合が多い。文法はMATLABの文法をよりC言語に似た形に変形してある。また、グラフィックはgnuplotを利用している。