Exact and Approximate Testing/Correcting of Algebraic Functions: A Survey