Nonlinear systems solver in floating-point arithmetic using LP reduction

Christoph Fünfzig, Dominique Michelucci, Sebti Foufou. Nonlinear systems solver in floating-point arithmetic using LP reduction. In Willem F. Bronsvoort, Daniel Gonsor, William C. Regli, Thomas A. Grandine, Jan H. Vandenbrande, Jens Gravesen, John Keyser, editors, Proceedings of the 2009 ACM Symposium on Solid and Physical Modeling, San Francisco, California, USA, October 5-8, 2009. pages 123-134, ACM, 2009. [doi]

Authors

Christoph Fünfzig

This author has not been identified. Look up 'Christoph Fünfzig' in Google

Dominique Michelucci

This author has not been identified. Look up 'Dominique Michelucci' in Google

Sebti Foufou

This author has not been identified. Look up 'Sebti Foufou' in Google