\input zb-basic \input zb-ioport \iteman{io-port 00751318} \itemau{Nabhan, Tarek M.; Zomaya, Albert Y.} \itemti{On the automatic generation of efficient computational models.} \itemso{Cybern. Syst. 26, No.1, 59-78 (1995).} \itemab Summary: This paper presents an algorithm for the reduction of the computational requirements associated with a majority of mathematical models. This computational reduction plays an important role, especially in the case of real-time applications. In this work, we describe the different sections of the algorithm and their interactions with one another. Furthermore, as a case study, we investigate the synthesis of efficient robot dynamic models that can be employed for the symbolic and numeric modeling of robotic mechanisms. \itemrv{~} \itemcc{} \itemut{mathematical models; robot dynamic models} \itemli{doi:10.1080/01969729508927487} \end