Using Taylor Models in Exact Real Arithmetic

Franz Brauße, Margarita Vladimirovna Korovina, Norbert Th. Müller. Using Taylor Models in Exact Real Arithmetic. In Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap, editors, Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers. Volume 9582 of Lecture Notes in Computer Science, pages 474-488, Springer, 2015. [doi]

Authors

Franz Brauße

This author has not been identified. Look up 'Franz Brauße' in Google

Margarita Vladimirovna Korovina

This author has not been identified. Look up 'Margarita Vladimirovna Korovina' in Google

Norbert Th. Müller

This author has not been identified. Look up 'Norbert Th. Müller' in Google
  翻译: