Super-fast validated solution of linear systems
scientific article; zbMATH DE number 5121410