Comprehensive Gröbner bases.Journal of Symbolic Computation, 14(1):1–29, July 1992

Volker Weispfenning · 1992 · DOI 10.1016/0747-7171(92)90023-w

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

open at publisher browse 1 citing papers

representative citing papers

Pseudo-Complex Quantifier Elimination

cs.SC · 2026-04-29

citing papers explorer

Showing 1 of 1 citing paper.

Pseudo-Complex Quantifier Elimination cs.SC · 2026-04-29 · unreviewed · ref 40