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@cs.unipr.it