Concepedia
Science in China. Series E, Technological sciences/Science in China. Series E, Technological Sciences · 1999 · 29 citations · 3 references
Natural SciencesComputer ScienceMathematicsAlgorithmsDiscriminationGenerating Functions
3
Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Gary S. Collins · Medical Entomology and Zoology · 1975 · 902 citations
Natural Sciences, Computer Science, Mathematics +9
Polynomial algorithms in computer algebra
Franz Winkler · Applicable Algebra in Engineering Communication and Computing · 1996 · 198 citations
Computing, Computer Science, Mathematics +12
A complete discrimination system for polynomials
Lu Yang, Xiaorong Hou, Zhenbing Zeng · Science China Technological Sciences · 1996 · 175 citations
Computing, Computer Science, Mathematics +2