Transactions of the American Mathematical Society, Vol. 216 (Feb., 1976), pp. 237-248 (12 pages) Conical polynomials are defined as certain polynomials in quadratic elements of the universal ...
Factorization theorems are obtained for selfadjoint operator polynomials $\mathrm{L}\left(\mathrm{\lambda }\right):=\sum _{\mathrm{j}=0}^{\mathrm{n}}{\mathrm{\lambda ...
Cylindrical Algebraic Decomposition (CAD) is a pivotal algorithmic technique in real algebraic geometry, instrumental in resolving problems expressed in a first‐order language over the reals. By ...