The following pages link to Hoon Hong (Q171462):
Displaying 50 items.
- Object-image correspondence for algebraic curves under projections (Q352489) (← links)
- 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)
- Partial cylindrical algebraic decomposition for quantifier elimination (Q1186711) (← 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)
- Testing positiveness of polynomials (Q1272602) (← links)
- (Q1340879) (redirect page) (← links)
- Safe starting regions by fixed points and tightening (Q1340881) (← links)
- Implicitization of nested circular curves (Q1355766) (← links)
- Subresultants under composition (Q1355779) (← links)
- Testing stability by quantifier elimination (Q1368692) (← links)
- Heuristic search and pruning in polynomial constraints satisfaction (Q1370613) (← links)
- An efficient method for analyzing the topology of plane real algebraic curves. (Q1565839) (← 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)
- Positive solutions of systems of signed parametric polynomial inequalities (Q1798326) (← links)
- The design of the SACLIB/PACLIB kernels (Q1895403) (← links)
- Bernstein form is inclusion monotone (Q1895864) (← 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)
- Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)
- Explicit formula for optimal ate pairing over cyclotomic family of elliptic curves (Q2348162) (← links)
- Improving root separation bounds (Q2399862) (← links)
- Improving angular speed uniformity by reparameterization (Q2443063) (← links)
- Bruno Buchberger -- a life devoted to symbolic computation (Preface to the special issue) (Q2457332) (← links)
- An elementary proof of Sylvester's double sums for subresultants (Q2457422) (← links)
- Are Buchberger's criteria necessary for the chain condition? (Q2470056) (← links)
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072) (← links)
- Note on Jacobi's method for approximating dominant roots (Q2643518) (← links)
- ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves (Q2799574) (← links)
- Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization (Q2849505) (← links)
- Variant real quantifier elimination (Q2883815) (← links)
- Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization (Q2915011) (← links)
- Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants (Q3140555) (← links)
- Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation) (Q3452390) (← links)
- (Q4227327) (← links)
- (Q4234207) (← links)
- (Q4234240) (← links)
