Algorithm for intersecting symbolic and approximate linear differential varieties.

Siyuan Deng, Zahra Mohammadi, Gregory J. Reid

Browse the full SYNASC paper archive.