You should try my pet project based on my thesis - http://uniquation.com It works as you expect. The sad part I aborted it several years ago, the good part that I'm going to open source it this year.