1. A basic course of multiple integrals with a computer algebra system;Aguilera,2006
2. 11 years of master theses in engineering using derive in the University of Málaga;Aguilera,2010
3. Generating random samples from continues and discrete distributions with derive;Aguilera;DERIVE Newsletter,2009
4. Atpcl.mth: automated theorem provers for propositional classical logic with derive;Aguilera,2004
5. Automated generation of contrapuntal musical compositions using probabilistic logic in derive;Aguilera;Mathematics and Computer in Simulation,2010