The following pages link to Hoon Hong (Q171462):
Displaying 35 items.
- Variant quantifier elimination (Q420753) (← links)
- Maximum gap in (inverse) cyclotomic polynomial (Q448219) (← links)
- On using Lazard's projection in CAD construction (Q492024) (← links)
- Resultants over commutative idempotent semirings. I: Algebraic aspect (Q507140) (← links)
- Solution formulas for cubic equations without or with constraints (Q548598) (← links)
- An algebraic method for constructing stable and consistent autoregressive filters (Q728932) (← links)
- Quality of positive root bounds (Q898284) (← links)
- Corrigendum to ``Are Buchberger's criteria necessary for the chain condition?'' [J. Symbolic Comput. 42 (2007) 717-732] (Q954972) (← links)
- Sylvester's double sums: the general case (Q1030249) (← links)
- Bounds for absolute positiveness of multivariate polynomials (Q1264464) (← links)
- Groebner basis under composition. I (Q1264469) (← links)
- Algorithms for trigonometric curves (simplification, implicitization, parameterization) (Q1267067) (← links)
- Implicitization of nested circular curves (Q1355766) (← links)
- Subresultants under composition (Q1355779) (← links)
- Testing stability by quantifier elimination (Q1368692) (← links)
- Sparse resultant of composed polynomials. I: Mixed-unmixed case. (Q1600042) (← links)
- Number of common roots and resultant of two tropical univariate polynomials (Q1663533) (← links)
- Open weak CAD and its applications (Q1711996) (← links)
- Algorithm for computing \(\mu\)-bases of univariate polynomials (Q1712001) (← links)
- The design of the SACLIB/PACLIB kernels (Q1895403) (← links)
- Simple and exact formula for minimum loop length in \(\mathrm{Ate}_{i }\) pairing based on Brezing-Weng curves (Q1943983) (← links)
- Maximum gap in cyclotomic polynomials (Q1981578) (← links)
- A condition for multiplicity structure of univariate polynomials (Q2229732) (← links)
- Improving angular speed uniformity by reparameterization (Q2443063) (← links)
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072) (← links)
- Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation) (Q3452390) (← links)
- A framework for improving uniformity of parameterizations of curves (Q5018291) (← links)
- Ore principal subresultant coefficients in solutions (Q5929734) (← links)
- Ore subresultant coefficients in solutions (Q5949977) (← links)
- Optimality of Curtiss Bound on Poincare Multiplier for Positive Univariate Polynomials (Q6508299) (← links)
- Conditions for eigenvalue configurations of two real symmetric matrices: a symmetric function approach (Q6515554) (← links)
- Conditions for eigenvalue configurations of two real symmetric matrices: a signature approach (Q6515803) (← links)
- Almost Bijective Parametrization of $3 \times 3$ Copositive Matrices (Q6517015) (← links)
- Almost Bijective Parametrization of Copositive Univariate Polynomials (Q6518146) (← links)
- Equi-affine minimal-degree moving frames for polynomial curves (Q6521158) (← links)