Round-off estimates for second-order conic feasibility problems [Estimations d'arrondi pour des problèmes de faisabilité coniques du second ordre]

We present the analysis of an interior-point method to decide feasibility problems of second-order conic systems. A main feature of this algorithm is that arithmetic operations are performed with finite precision. Bounds for both the number of arithmetic operations and the finest precision required are exhibited.