Certification of the QR factor R and of lattice basis reducedness.

Gilles Villard

Browse the full ISSAC paper archive.