Recent Advances on Integral Elimination
François Lemaire, Louis Roussel · 2025
We present some improvements of our integral elimination algorithm. A new division algorithm for integral monomials is presented. A surprising simultaneous reduction of an expression by a set of integral polynomials is introduced. Logarithm expressions are added to our integral setting. Finally, previously unhandled examples are presented.