A dynamical solution of Kronecker's problem. - Ihsen Yengui (Mathematics, Algorithms, Proofs, 2005)

Suslin's algorithms for reduction of unimodular rows. - Henri Lombardi; Ihsen Yengui (J. Symb. Comput., 2005)

Making the use of maximal ideals constructive. - Ihsen Yengui (Theor. Comput. Sci., 2008)

Stably free modules over R[X] of rank > dim R are free. - Ihsen Yengui (Math. Comput., 2011)

Computing the V-saturation of finitely-generated submodules of V[X]m where V is a valuation domain. - Lionel Ducos; Samiha Monceur; Ihsen Yengui (J. Symb. Comput., 2016)

The syzygy theorem for Bézout rings. - Maroua Gamanda; Henri Lombardi; Stefan Neuwirth; Ihsen Yengui (Math. Comput., 2020)