A method for exact computation with rational numbers
scientific article; zbMATH DE number 3653423