Computing and proving with pivots Frédéric Meunier RAIRO-Oper. Res., 47 4 (2013) 331-360 Published online: 09 October 2013 DOI: 10.1051/ro/2013042