Stiffly accurate

An implicit S-stable and stiffly accurate algorithm has been devised by Prothero and Robinson [146] and has been used for solving chemical kinetics problems [166]. It is defined by the values... 

In general only the stage values lie on the manifold ( /, A) /c(tn + Cih y X) = 0. For methods with 6 = asi for i = 1,..., s also the solution values are on the manifold. Methods with this property are called stiffly accurate Runge-Kutta methods. Note, collocation methods with the interval end point being a collocation point, c = 1, are stiffly accurate by construction. 

On the other hand for not stiffly accurate methods, like Gaufi methods, one can modify the method by projecting the numerical solution onto... 

As for stiffly accurate methods, like Radau IIA methods,... 

---