The Study of Envelopes in a CAS Environment. R&E-SOURCE 2014, 1.