Hi all, I have googled and found well-designd stuff targetted to symbolic computation in python. Is there anybody using this paradigm and one of those libs practically? TIA, Giorgi