## 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 |

all
top 5

### Cited by 18 Authors

### Cited in 2 Serials

3 | Journal of Automated Reasoning |

1 | Theoretical Computer Science |

### Cited in 4 Fields

10 | Computer science (68-XX) |

2 | Mathematical logic and foundations (03-XX) |

1 | Number theory (11-XX) |

1 | Operations research, mathematical programming (90-XX) |