[Boost-users] [Proto] implementing an computer algebra system with proto