Exact arithmetic as a tool for convergence assessment of the IRM-CG method. - Josip Dvornik; Antonia Jaguljnjak Lazarevic; Damir Lazarevic; M. Uros (CoRR, 2019)