Automated generation of loop invariants by recurrence solving in theorema (2004)

by L Kovacs, T Jebelean
Venue:Proceedings of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC04