Vincent Neiger. Bases of relations in one or several variables: fast algorithms and applications. (Bases de relations en une ou plusieurs variables : algorithmes rapides et applications). PhD thesis, University of Waterloo, Canada, 2016. [doi]
Abstract is missing.