Planning to use GiNaC

[Roberto Bagnara]

Hi there,

here at the University of Parma we are about to start a project
on automatic program complexity analysis.  Part of our work will
consist in developing a solver for several classes of recurrence
relations.  From a superficial look at the GiNaC web pages we
gathered the impression that your library would significantly
simplify our job, since representation, manipulation, simplification
and matching of symbolic expression would be readily available.
Do you know of anyone using GiNaC to do something similar
to what we have in mind?
Any advice you would like to give to someone embarking in such
an adventure?
Thanks a lot,

     Roberto

-- 
Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it