An algorithmic proof of the coherence of the ring of polynomial ordinary integro-differential operators.

Thomas Cluzeau, Camille Pinto, Alban Quadrat

Browse the full ISSAC paper archive.