Introduction to δ-artithmetic : computation of integer approximate gcd and factorization.

In this article we present a new framework to define and compute integer approximate gcd computation. It is an extension of the classical arithmetic to solve problem where data can be " ajust " to obtain " better " solution. Basically the problem of approximate gcd computation consist on searching a kind of gcd when input are not exact multiple of the real gcd. Our approach to solve this problem is totally different from the classical approach of this topic that rely on lattice. The main advantage of our solution is that it led to a clear definition of the notion of approximate Gcd and build a rigorous new mathematical framework to solve the problem. And " cerise sur le gâteau " we end up with algorithms that are very simple to understand and to implement. This paper start with an introduction to δ-artithmetic and we deduce natural and clean definition of approximates gcd. We then present two algorithms to find this quantity. The first one work well when the approximate gcd is greater than the square root of the smallest element (the pivot). It rely on the notion of approximate divisor and it is as efficient as the gcd is greater than this value. The second algorithm rely on the notion of approximate factorization, and work well when the gcd is close to the square root of the pivot. We are still working on the case where the gcd is very small compare to that value.

Data and Resources

Additional Info

Field Value
Source https://inria.hal.science/hal-00848673
Author Fotso, Christian
Maintainer CCSD
Last Updated May 10, 2026, 05:10 (UTC)
Created May 10, 2026, 05:10 (UTC)
Identifier hal-00848673
Language fr
Rights https://about.hal.science/hal-authorisation-v1/
contributor Labo inconnu (Labo inconnu)
creator Fotso, Christian
date 2011-08-30T00:00:00
harvest_object_id 91aacfe4-ecde-4cd0-9f09-39754cd14475
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2020-03-05T00:00:00
set_spec type:UNDEFINED