PURRS

Home

Documentation

Download

Credits

Mailing Lists

Links

PURRS Links

If you are interested in the Parma Recurrence Relation Solver, you may want to visit the following sites.

People

Online Books On Recurrences and Related Topics

Software

  • cgicc: a C++ class library for writing CGI applications.
  • filib++: a fast C++ interval library.
  • CoStLy: Complex interval Standard functions Library,
  • GiNaC is Not a Computer Algebra System.
  • NTL: a library for doing number theory.
  • Hume is a functionally-inspired language for resource critical applications.

Brother Projects

  • CHINA: a data-flow analyzer for CLP languages.
  • PPL: the Parma Polyhedra Library.

Other Good Stuff

[Page last updated on January 18, 2013, 09:58:05.]

© Roberto Bagnara

Home | Documentation | Download | Credits | Mailing Lists | Links