Francisco Botana José L. Valcarce Automated Discovery in Elementary Extrema Problems. 470-477 2006 conf/iccS/2006-2 International Conference on Computational Science (2) http://dx.doi.org/10.1007/11758525_63 db/conf/iccS/iccS2006-2.html#BotanaV06