Christoph Fünfzig, Dominique Michelucci, Sebti Foufou: Nonlinear systems solver in floating-point arithmetic using LP reduction. Symposium on Solid and Physical Modeling 2009: 123-134