四犬相追的mathematica的算法，运用微分模型，对这个有趣的问题进行了描述。-Four dogs with the mathematica recovery algorithms, the use of differential model, for this interesting question are described.