@article{RO_2013__47_4_331_0,
     author = {Meunier, Fr\'ed\'eric},
     title = {Computing and proving with pivots},
     journal = {RAIRO - Operations Research - Recherche Op\'erationnelle},
     pages = {331--360},
     publisher = {EDP-Sciences},
     volume = {47},
     number = {4},
     year = {2013},
     doi = {10.1051/ro/2013042},
     mrnumber = {3143757},
     zbl = {1286.90167},
     language = {en},
     url = {http://www.numdam.org/articles/10.1051/ro/2013042/}
}