Fast verified solutions of linear systems
scientific article; zbMATH DE number 5674915
scientific article