hyper

swMATH33876MaRDI QIDQ45585FDOQ45585

Author name not available (Why is that?)

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

Cited In (4)

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

This page was built for software: hyper