Computer assisted equation generation in linkage dynamics