OpenAlex
A prolongation–projection algorithm for computing the finite real variety of an ideal
Work