Pascale Sénéchaud. Calcul formel et parallélisme : bases de Gröbner booléennes, méthodes de calcul. Aapplications, parallélisation. (Boolean grobner bases. Computation. Applications. Parallelization). PhD thesis, Grenoble Institute of Technology, France, 1990. [doi]
Abstract is missing.