Concepedia

A complete algorithm for automated discovering of a class of inequality-type theorems

Yang Lu, Xiaorong Hou, Bican Xia

Science in China Series F Information Sciences · 2001 · 128 citations · 11 references

DOI

Concepts

References

11

Cylindrical Algebraic Decomposition I: The Basic Algorithm

Dennis S. Arnon, George E. Collins, Scott McCallum · SIAM Journal on Computing · 1984 · 356 citations

, , +11

The binding potential, a neglected linkage concept

Jeffries Wyman · Journal of Molecular Biology · 1965 · 224 citations

, , +7

Polynomial algorithms in computer algebra

Franz Winkler · Applicable Algebra in Engineering Communication and Computing · 1996 · 198 citations

, , +12

A complete discrimination system for polynomials

Lu Yang, Xiaorong Hou, Zhenbing Zeng · Science China Technological Sciences · 1996 · 175 citations

, , +2

Recent Advances on Determining the Number of Real Roots of Parametric Polynomials

Yang Lu · Journal of Symbolic Computation · 1999 · 166 citations

, , +7