Complete Reductions and Idempotent Representations for $R\Pi {\Sigma }^{\ast }$-towers

Yiman Gao, Jakob Obrovsky, Carsten Schneider

$R\Pi {\Sigma }^{\ast }$-extensions form a rich class of difference rings that provide a unified algebraic framework for modeling indefinite nested sums, transcendental products, and nested product…