Probabilistic certification of divide & conquer algorithms on global computing platforms: application to fault-tolerant exact matrix-vector product.

Jean-Louis Roch, Sbastien Varrette

Browse the full ISSAC paper archive.