I’ve been looking for an algebric formula simplifier for a while now. I know a couple of cool application that already does it but the source are not open.
If anyone knows a class or project relating to that subject please post a link.
I’m desperate. 
