-
Set inversion for χ-algorithms with application to guaranteed robot localization
International audience -
Accurate Summation: Towards a Simpler and Formal Proof
Colloque avec actes et comité de lecture. internationale. -
A comparison of polynomial evaluation schemes
Colloque avec actes et comité de lecture. internationale.
