Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences.

Andreas Humenberger, Maximilian Jaroschek, Laura Kovcs

Browse the full ISSAC paper archive.