Hoon Hong

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 29

Top Topics

Numerical Algorithms

Symmetric Matrices

Top Venues

J. Symb. Comput.

SIAM J. Appl. Algebra Geom.

Publications

Hoon Hong, Jing Yang
Computing greatest common divisor of several parametric univariate polynomials via generalized subresultant polynomials. CoRR (2024)
Hoon Hong, Daniel Profili, J. Rafael Sendra
Conditions for eigenvalue configurations of two real symmetric matrices: a signature approach. CoRR (2024)
Hoon Hong, Dongming Wang, Jing Yang
Improving Angular Speed Uniformity by Piecewise Radical Reparameterization. CoRR (2024)
Hoon Hong, Daniel Profili, J. Rafael Sendra
Conditions for eigenvalue configurations of two real symmetric matrices: a symmetric function approach. CoRR (2024)
Hoon Hong, Jing Yang
Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials. CoRR (2023)
Soo Go, Hoon Hong, Ilia Ilmer, Alexey Ovchinnikov, Pedro Soto, Chee Yap
Symbolic-Numeric Parameter Estimation Software Package in Julia. CoRR (2023)
Hoon Hong, Jing Yang
Subresultant of several univariate polynomials. CoRR (2021)
Hoon Hong, Jing Yang
A condition for multiplicity structure of univariate polynomials. J. Symb. Comput. 104 (2021)
Hoon Hong, Jing Yang
A Condition for Multiplicity Structure of Univariate Polynomials. CoRR (2020)
Hoon Hong, James Rohal, Mohab Safey El Din, Éric Schost
Connectivity in Semi-Algebraic Sets I. CoRR (2020)
Hoon Hong, Alexey Ovchinnikov, Gleb Pogudin, Chee Yap
SIAN: a tool for assessing structural identifiability of parametric ODEs. ACM Commun. Comput. Algebra 53 (2) (2019)
Hoon Hong, Alexey Ovchinnikov, Gleb Pogudin, Chee Yap
SIAN: software for structural identifiability analysis of ODE models. Bioinform. 35 (16) (2019)
Aaron Herman, Hoon Hong, Elias P. Tsigaridas
Improving root separation bounds. J. Symb. Comput. 84 (2018)
Hoon Hong, Thomas Sturm
Positive Solutions of Systems of Signed Parametric Polynomial Inequalities. CoRR (2018)
Hoon Hong, Thomas Sturm
Positive Solutions of Systems of Signed Parametric Polynomial Inequalities. CASC (2018)
Hoon Hong, Alexey Ovchinnikov, Gleb Pogudin, Chee Yap
SIAN: software for structural identifiability analysis of ODE models. CoRR (2018)
Owen Coss, Jonathan D. Hauenstein, Hoon Hong, Daniel K. Molzahn
Locating and Counting Equilibria of the Kuramoto Model with Rank-One Coupling. SIAM J. Appl. Algebra Geom. 2 (1) (2018)
Jingjun Han, Liyun Dai, Hoon Hong, Bican Xia
Open weak CAD and its applications. J. Symb. Comput. 80 (2017)
Hoon Hong, Adam W. Strzebonski
Algorithm for computing semi-Fourier sequences of expressions involving exponentiations and integrations. CoRR (2017)
Hoon Hong, Zachary Hough, Irina A. Kogan
Algorithm for computing μ-bases of univariate polynomials. J. Symb. Comput. 80 (2017)
Hoon Hong, Yonggu Kim, Georgy Scholten, J. Rafael Sendra
Resultants over commutative idempotent semirings I: Algebraic aspect. J. Symb. Comput. 79 (2017)
Madalina Erascu, Hoon Hong
Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation). J. Symb. Comput. 75 (2016)
Scott McCallum, Hoon Hong
On using Lazard's projection in CAD construction. J. Symb. Comput. 72 (2016)
Aaron Herman, Hoon Hong
Quality of positive root bounds. J. Symb. Comput. 74 (2016)
Hoon Hong, Zachary Hough, Irina A. Kogan
Algorithm for computing μ-bases of univariate polynomials. CoRR (2016)
Hoon Hong, Eunjeong Lee, Hyang-Sook Lee
Explicit formula for optimal ate pairing over cyclotomic family of elliptic curves. Finite Fields Their Appl. 34 (2015)
John Harlim, Hoon Hong, Jacob L. Robbins
An algebraic method for constructing stable and consistent autoregressive filters. J. Comput. Phys. 283 (2015)
Liyun Dai, Jingjun Han, Hoon Hong, Bican Xia
Open Weak CAD and Its Applications. CoRR (2015)
Hoon Hong, Xiaoxian Tang, Bican Xia
Special algorithm for stability analysis of multistable biological regulatory systems. J. Symb. Comput. 70 (2015)
Kayla Bishop, Hoon Hong
The Secant-Newton Map is Optimal Among Contracting $n^{th}$ Degree Maps for $n^{th}$ Root Computation. CoRR (2014)
Madalina Erascu, Hoon Hong
Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation). ISSAC (2014)
Hoon Hong, Xiaoxian Tang, Bican Xia
Special Algorithm for Stability Analysis of Multistable Biological Regulatory Systems. CoRR (2013)
Seunghwan Chang, Hoon Hong, Eunjeong Lee, Hyang-Sook Lee
Reducing Pairing Inversion to Exponentiation Inversion using Non-degenerate Auxiliary Pairing. IACR Cryptol. ePrint Arch. 2013 (2013)
Jing Yang, Dongming Wang, Hoon Hong
Improving angular speed uniformity by reparameterization. Comput. Aided Geom. Des. 30 (7) (2013)
Hoon Hong, Dongming Wang, Jing Yang
A framework for improving uniformity of parameterizations of curves. Sci. China Inf. Sci. 56 (10) (2013)
Hoon Hong, Eunjeong Lee, Hyang-Sook Lee, Cheol-Min Park
Simple and exact formula for minimum loop length in Ate i pairing based on Brezing-Weng curves. Des. Codes Cryptogr. 67 (2) (2013)
Seunghwan Chang, Hoon Hong, Eunjeong Lee, Hyang-Sook Lee
Pairing Inversion via Non-degenerate Auxiliary Pairings. Pairing (2013)
Madalina Erascu, Hoon Hong
The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation. Reliab. Comput. 18 (2013)
Joseph M. Burdis, Irina A. Kogan, Hoon Hong
Object-Image Correspondence for Algebraic Curves under Projections CoRR (2013)
Ting Zhao, Hoon Hong, Dongming Wang, Philippe Aubry
Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints. SAC (2012)
Jing Yang, Dongming Wang, Hoon Hong
Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization. CASC (2012)
Jing Yang, Dongming Wang, Hoon Hong
Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization. Automated Deduction in Geometry (2012)
Jing Yang, Dongming Wang, Hoon Hong
ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves. ASCM (2012)
Hoon Hong, Mohab Safey El Din
Variant quantifier elimination. J. Symb. Comput. 47 (7) (2012)
Hoon Hong, Eunjeong Lee, Hyang-Sook Lee, Cheol-Min Park
Pairing based on Brezing-Weng Curves. IACR Cryptol. ePrint Arch. 2011 (2011)
Ting Zhao, Dongming Wang, Hoon Hong
Solution formulas for cubic equations without or with constraints. J. Symb. Comput. 46 (8) (2011)
Hoon Hong
Connectivity in Semi-algebraic Sets. SYNASC (2010)
Yu Liu, Hoon Hong, Alex Q. Huang
Real-Time Algorithm for Minimizing THD in Multilevel Inverters With Unequal or Varying Voltage Steps Under Staircase Modulation. IEEE Trans. Ind. Electron. 56 (6) (2009)
Yu Liu, Hoon Hong, Alex Q. Huang
Real-Time Calculation of Switching Angles Minimizing THD for Multilevel Inverters With Step Modulation. IEEE Trans. Ind. Electron. 56 (2) (2009)
Hoon Hong, Mohab Safey El Din
Variant real quantifier elimination: algorithm and application. ISSAC (2009)
Carlos D'Andrea, Hoon Hong, Teresa Krick, Ágnes Szántó
Sylvester's double sums: The general case. J. Symb. Comput. 44 (9) (2009)
Hoon Hong, John Perry
Corrigendum to "Are Buchberger's criteria necessary for the chain condition?" [J. Symbolic Comput. 42(2007) 717-732]. J. Symb. Comput. 43 (3) (2008)
Robert Quinn, Hoon Hong
Connectivity in semialgebraic sets (abstract only). ACM Commun. Comput. Algebra 42 (1-2) (2008)
Hoon Hong, John Perry
Are Buchberger's criteria necessary for the chain condition? J. Symb. Comput. 42 (7) (2007)
Carlos D'Andrea, Hoon Hong, Teresa Krick, Ágnes Szántó
An elementary proof of Sylvester's double sums for subresultants. J. Symb. Comput. 42 (3) (2007)
Chee-Keng Yap, Hoon Hong
Foreword. Math. Comput. Sci. 1 (1) (2007)
Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang
Solving Dynamic Geometric Constraints Involving Inequalities. AISC (2006)
Hoon Hong, Deepak Kapur, Peter Paule, Franz Winkler
Bruno Buchberger - A life devoted to symbolic computation. J. Symb. Comput. 41 (3-4) (2006)
Hoon Hong
Note on Jacobi's method for approximating dominant roots. J. Symb. Comput. 37 (4) (2004)
Hoon Hong, Manfred Minimair
Sparse Resultant of Composed Polynomials IMixed-. Unmixed Case. J. Symb. Comput. 33 (4) (2002)
Hoon Hong
Ore Principal Subresultant Coefficients in Solutions. Appl. Algebra Eng. Commun. Comput. 11 (3) (2001)
Hoon Hong
Ore Subresultant Coefficients in Solutions. Appl. Algebra Eng. Commun. Comput. 12 (5) (2001)
Hoon Hong
Editorial. J. Symb. Comput. 29 (1) (2000)
Hoon Hong, Erich Kaltofen, Michael F. Singer
East Coast Computer Algebra Day '99 (April 24, 1999): abstracts of invited talks and presented posters. SIGSAM Bull. 33 (2) (1999)
Hoon Hong
Groebner Basis Under Composition I. J. Symb. Comput. 25 (5) (1998)
Hoon Hong
Bounds for Absolute Positiveness of Multivariate Polynomials. J. Symb. Comput. 25 (5) (1998)
Hoon Hong, Josef Schicho
Algorithms for Trigonometric Curves (Simplification, Implicitization, Parameterization). J. Symb. Comput. 26 (3) (1998)
Hoon Hong, Dalibor Jakus
Testing Positiveness of Polynomials. J. Autom. Reason. 21 (1) (1998)
Hoon Hong
Implicitization of Nested Circular Curves. J. Symb. Comput. 23 (2/3) (1997)
Hoon Hong, Richard Liska, Stanly L. Steinberg
Testing Stability by Quantifier Elimination. J. Symb. Comput. 24 (2) (1997)
Hoon Hong
Heuristic Search and Pruning in Polynomial Constraints Satisfaction. Ann. Math. Artif. Intell. 19 (3-4) (1997)
Hoon Hong
Subresultants Under Composition. J. Symb. Comput. 23 (4) (1997)
Hoon Hong
Groebner Basis Under Composition II. ISSAC (1996)
Hoon Hong
The Exact Region of Stability for MacCormack Scheme. Computing 56 (4) (1996)
Hoon Hong
Implicitization of Curves Parameterized by Generalized Trigonometric Polynomials. AAECC (1995)
Hoon Hong, Volker Stahl
Bernstein Form is Inclusion Monotone. Computing 55 (1) (1995)
Hoon Hong, Andreas Neubacher, Wolfgang Schreiner
The Design of the SACLIB/PACLIB Kernels. J. Symb. Comput. 19 (1-3) (1995)
Hoon Hong
RISC-CLP(CF) Constraint Logic Programming over Complex Functions. LPAR (1994)
Hoon Hong, Hans-Wolfgang Loidl
Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory Machine. CONPAR (1994)
Hoon Hong
Parallelization of Quantifier Elimination on a Workstation Network. AAECC (1993)
Hoon Hong
Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants. Comput. J. 36 (5) (1993)
Hoon Hong
Quantifier Elimination for Formulas Constrained by Quadratic Equations. ISSAC (1993)
Hoon Hong, Andreas Neubacher, Wolfgang Schreiner
The Design of the SACLIB/PACLIB Kernels. DISCO (1993)
Wolfgang Schreiner, Hoon Hong
The Design of the PACLIB Kernel for Parallel Algebraic Computation. ACPC (1993)
Wolfgang Schreiner, Hoon Hong
A New Library for Parallel Algebraic Computation. PPSC (1993)
Hoon Hong
Special Issue Editorial: Computational Quantifier Elimination. Comput. J. 36 (5) (1993)
Hoon Hong, Wolfgang Schreiner
Programming in PACLIB. SIGSAM Bull. 26 (4) (1992)
Hoon Hong
Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination. ISSAC (1992)
Hoon Hong
Heuristic Search Strategies for Cylindrical Algebraic Decomposion. AISMC (1992)
Hoon Hong
Non-linear Real Constraints in Constraint Logic Programming. ALP (1992)
Hoon Hong
RISC-CLP(Real): Logic Programming with Non-linear Constraints over the Reals. WCLP (1991)
George E. Collins, Hoon Hong
Partial Cylindrical Algebraic Decomposition for Quantifier Elimination. J. Symb. Comput. 12 (3) (1991)
Hoon Hong
An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition. ISSAC (1990)