LINSYS_VR: Verified Solution of Linear Systems with Directed Rounding (連立一次方程式に対する精度保証プログラム(丸めモードの変更機能付き))
Version 1.1 [December 20, 2018]

LINSYS_V: Verified Solution of Linear Systems (連立一次方程式に対する精度保証プログラム)
Version 1.0 [August 28, 2017]

DHPMM_F: High-precision Matrix Multiplication with Faithful Rounding (高精度行列積プログラム)
Version Alpha [August 15, 2017]