Automated Generation of Loop Invariants by Recurrence Solving in Theorema (2004)

by L I Kovács, T Jebelean
Venue:Proc. of SNASC’04 (Symbolic and Numeric Algorithms for Scientific Computing