利西·达芬索 加布里埃拉·杰罗尼莫 弗朗索瓦·奥利维尔 亚历山大·塞多拉维奇 巴勃罗·索莱诺 微分代数方程隐式系统的一种几何指标约简方法 http://arxiv.org/abs/1008.5080 2010 CoRR公司 abs/1008.5080 db/journals/corr/corr1008.html#abs-1008-5080