1. Rewriting in a probabilistic logic with imprecise probabilities;Aguilera,2003
2. A basic course of multiple integrals with a computer algebra system;Aguilera,2006
3. G. Aguilera, J.L. Galán, A. Gálvez, P. Rodríguez, ATPCL.mth: automated theorem provers for propositional classical logic with Derive, in: Proceedings of TIME 2004, Montreal, 2004, I.S.B.N.: 3–901769-59–5.
4. G. Aguilera, J.L. Galán, Y. Padilla, P. Rodríguez, Random_distributions.mth: random samples from distributions with Derive, in: Proceedings of TIME 2004, Montreal, 2004, I.S.B.N.: 3–901769-59–5.
5. G. Aguilera, J.L. Galán, P. Rodríguez, GRAPH_ALGORITHMS.MTH: graph algorithms using display step in Derive6, in: Proceedings of DES-TIME-2006, Dresden, 2006, I.S.B.N.: 3–901769-74–9.