PURRS
PURRS (the Parma University’s Recurrence Relation Solver) is a C++ library for the (possibly approximate) solution of recurrence relations. To be more precise, the PURRS will solve: (a) linear constant coefficient recurrence relations of finite order (when the order is 1, parametric coefficients will be allowed); (b) linear recurrence relations of the first order with variable coefficients; (c) systems of linear recurrence relations with constant coefficients; (d) some non-linear recurrence relations of finite order; (e) some linear recurrence relations of infinite order and other generalized recurrences, like those arising from the complexity analysis of algorithms.
(Source: http://freecode.com/)
Keywords for this software
References in zbMATH (referenced in 9 articles )
Showing results 1 to 9 of 9.
Sorted by year (- Chan, Hing Lun; Norrish, Michael: Mechanisation of the AKS algorithm (2021)
- Frohn, F.; Naaf, M.; Hensel, J.; Brockschmidt, M.; Giesl, J.: Lower runtime bounds for integer programs (2016)
- Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, German; Zanardini, Damiano: Cost analysis of object-oriented bytecode programs (2012)
- Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, Germán: Closed-form upper bounds in static cost analysis (2011)
- Albert, Elvira; Genaim, Samir; Masud, Abu Naser: More precise yet widely applicable cost analysis (2011)
- Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, Germán: Cost relation systems: a language-independent target language for cost analysis (2009) ioport
- Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, Germán: Automatic inference of upper bounds for recurrence relations in cost analysis (2008)
- Ireland, Andrew; Ellis, Bill J.; Cook, Andrew; Chapman, Roderick; Barnes, Janet: An integrated approach to high integrity software verification (2006)
- Bagnara, Roberto; Pescetti, Andrea; Zaccagnini, Alessandro; Zaffanella, Enea: PURRS: Towards computer algebra support for fully automatic worst-case complexity analysis (2005) ioport