×

PURRS

swMATH ID: 5465
Software Authors: Roberto Bagnara; Andrea Pescetti; Alessandro Zaccagnini; Enea Zaffanella; Tatiana Zolo
Description: 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.
Homepage: http://www.cs.unipr.it/purrs/
Programming Languages: C++
Keywords: Software Development; Scientific/Engineering; Mathematics; Libraries
Related Software: ACE; StarExec; TPDB; z3; LoAT; GitHub; FLATA; CiaoPP; Ciao; PPL; Yices; Eldarica; Princess; FAST; iRankFinder; Isabelle; HOL; Isabelle/HOL; Apron; Aspic
Cited in: 10 Documents

Citations by Year