hyper

MaRDI QIDQ45585swMATHFDO

Official website https://www.fmf.uni-lj.si/~petkovsek/software.html

Cited in

(5)

• Invariant generation for multi-path loops with polynomial assignments
• Automated generation of non-linear loop invariants utilizing hypergeometric sequences
• Aligator
• RISCErgoSum
• Hypergeometric solutions of linear recurrences with polynomial coefficients

This page was built for software: hyper