default search action
Hoon Hong
Person information
- affiliation: North Carolina State University, Raleigh, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [i19]Hoon Hong, Daniel Profili, J. Rafael Sendra:
Conditions for eigenvalue configurations of two real symmetric matrices: a symmetric function approach. CoRR abs/2401.00089 (2024) - [i18]Hoon Hong, Jing Yang:
Computing greatest common divisor of several parametric univariate polynomials via generalized subresultant polynomials. CoRR abs/2401.00408 (2024) - [i17]Hoon Hong, Daniel Profili, J. Rafael Sendra:
Conditions for eigenvalue configurations of two real symmetric matrices: a signature approach. CoRR abs/2401.00866 (2024) - [i16]Hoon Hong, Jiaqi Meng, Jing Yang:
A Generalization of Habicht's Theorem for Subresultants of Several Univariate Polynomials. CoRR abs/2409.12727 (2024) - 2023
- [c25]Hoon Hong, Dongming Wang, Jing Yang:
Improving Angular Speed Uniformity by Piecewise Radical Reparameterization. ADG 2023: 165-178 - [i15]Hoon Hong, Jing Yang:
Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials. CoRR abs/2301.00315 (2023) - [i14]Soo Go, Hoon Hong, Ilia Ilmer, Alexey Ovchinnikov, Pedro Soto
, Chee Yap:
Symbolic-Numeric Parameter Estimation Software Package in Julia. CoRR abs/2303.02159 (2023) - 2021
- [j51]Hoon Hong, Jing Yang:
A condition for multiplicity structure of univariate polynomials. J. Symb. Comput. 104: 523-538 (2021) - [i13]Hoon Hong, Jing Yang:
Subresultant of several univariate polynomials. CoRR abs/2112.15370 (2021) - 2020
- [i12]Hoon Hong, Jing Yang:
A Condition for Multiplicity Structure of Univariate Polynomials. CoRR abs/2001.02388 (2020) - [i11]Hoon Hong, James Rohal, Mohab Safey El Din, Éric Schost:
Connectivity in Semi-Algebraic Sets I. CoRR abs/2011.02162 (2020)
2010 – 2019
- 2019
- [j50]Hoon Hong, Alexey Ovchinnikov, Gleb Pogudin
SIAN: software for structural identifiability analysis of ODE models. Bioinform. 35(16): 2873-2874 (2019) - [j49]Hoon Hong, Alexey Ovchinnikov, Gleb Pogudin, Chee Yap:
SIAN: a tool for assessing structural identifiability of parametric ODEs. ACM Commun. Comput. Algebra 53(2): 37-40 (2019) - 2018
- [j48]Aaron Herman, Hoon Hong, Elias P. Tsigaridas:
Improving root separation bounds. J. Symb. Comput. 84: 25-56 (2018) - [j47]Owen Coss, Jonathan D. Hauenstein
Locating and Counting Equilibria of the Kuramoto Model with Rank-One Coupling. SIAM J. Appl. Algebra Geom. 2(1): 45-71 (2018) - [c24]Hoon Hong, Thomas Sturm
Positive Solutions of Systems of Signed Parametric Polynomial Inequalities. CASC 2018: 238-253 - [i10]Hoon Hong, Thomas Sturm:
Positive Solutions of Systems of Signed Parametric Polynomial Inequalities. CoRR abs/1804.09705 (2018) - [i9]Hoon Hong, Alexey Ovchinnikov, Gleb Pogudin, Chee Yap:
SIAN: software for structural identifiability analysis of ODE models. CoRR abs/1812.10180 (2018) - 2017
- [j46]Hoon Hong, Yonggu Kim, Georgy Scholten
Resultants over commutative idempotent semirings I: Algebraic aspect. J. Symb. Comput. 79: 285-308 (2017) - [j45]Jingjun Han
Open weak CAD and its applications. J. Symb. Comput. 80: 785-816 (2017) - [j44]Hoon Hong, Zachary Hough, Irina A. Kogan
Algorithm for computing μ-bases of univariate polynomials. J. Symb. Comput. 80: 844-874 (2017) - [i8]Hoon Hong, Adam W. Strzebonski:
Algorithm for computing semi-Fourier sequences of expressions involving exponentiations and integrations. CoRR abs/1702.07060 (2017) - 2016
- [j43]Scott McCallum
On using Lazard's projection in CAD construction. J. Symb. Comput. 72: 65-81 (2016) - [j42]Aaron Herman, Hoon Hong:
Quality of positive root bounds. J. Symb. Comput. 74: 592-602 (2016) - [j41]Madalina Erascu, Hoon Hong:
Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation). J. Symb. Comput. 75: 110-126 (2016) - [i7]Hoon Hong, Zachary Hough, Irina A. Kogan:
Algorithm for computing μ-bases of univariate polynomials. CoRR abs/1603.04813 (2016) - 2015
- [j40]Hoon Hong, Eunjeong Lee, Hyang-Sook Lee:
Explicit formula for optimal ate pairing over cyclotomic family of elliptic curves. Finite Fields Their Appl. 34: 45-74 (2015) - [j39]John Harlim, Hoon Hong, Jacob L. Robbins:
An algebraic method for constructing stable and consistent autoregressive filters. J. Comput. Phys. 283: 241-257 (2015) - [j38]Hoon Hong, Xiaoxian Tang, Bican Xia:
Special algorithm for stability analysis of multistable biological regulatory systems. J. Symb. Comput. 70: 112-135 (2015) - [i6]Liyun Dai, Jingjun Han, Hoon Hong, Bican Xia:
Open Weak CAD and Its Applications. CoRR abs/1507.03834 (2015) - 2014
- [c23]Madalina Erascu, Hoon Hong:
Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation). ISSAC 2014: 162-169 - [e4]Hoon Hong, Chee Yap:
Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings. Lecture Notes in Computer Science 8592, Springer 2014, ISBN 978-3-662-44198-5 [contents] - [i5]Kayla Bishop, Hoon Hong:
The Secant-Newton Map is Optimal Among Contracting $n^{th}$ Degree Maps for $n^{th}$ Root Computation. CoRR abs/1404.2371 (2014) - 2013
- [j37]Jing Yang, Dongming Wang, Hoon Hong:
Improving angular speed uniformity by reparameterization. Comput. Aided Geom. Des. 30(7): 636-652 (2013) - [j36]Hoon Hong, Dongming Wang, Jing Yang:
A framework for improving uniformity of parameterizations of curves. Sci. China Inf. Sci. 56(10): 1-22 (2013) - [j35]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): 271-292 (2013) - [j34]Madalina Erascu, Hoon Hong:
The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation. Reliab. Comput. 18: 73-81 (2013) - [c22]Seunghwan Chang, Hoon Hong, Eunjeong Lee, Hyang-Sook Lee:
Pairing Inversion via Non-degenerate Auxiliary Pairings. Pairing 2013: 77-96 - [i4]Joseph M. Burdis, Irina A. Kogan, Hoon Hong:
Object-Image Correspondence for Algebraic Curves under Projections. CoRR abs/1303.3358 (2013) - [i3]Hoon Hong, Xiaoxian Tang, Bican Xia:
Special Algorithm for Stability Analysis of Multistable Biological Regulatory Systems. CoRR abs/1312.1780 (2013) - [i2]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: 313 (2013) - 2012
- [j33]Hoon Hong, Mohab Safey El Din:
Variant quantifier elimination. J. Symb. Comput. 47(7): 883-901 (2012) - [c21]Jing Yang, Dongming Wang, Hoon Hong:
Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization. Automated Deduction in Geometry 2012: 33-47 - [c20]Jing Yang, Dongming Wang, Hoon Hong:
ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves. ASCM 2012: 437-451 - [c19]Jing Yang, Dongming Wang, Hoon Hong:
Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization. CASC 2012: 349-360 - [c18]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: 94-101 - 2011
- [j32]Ting Zhao, Dongming Wang, Hoon Hong:
Solution formulas for cubic equations without or with constraints. J. Symb. Comput. 46(8): 904-918 (2011) - [i1]Hoon Hong, Eunjeong Lee, Hyang-Sook Lee, Cheol-Min Park:
Simple and Exact Formula for Minimum Loop Length in Atei Pairing based on Brezing-Weng Curves. IACR Cryptol. ePrint Arch. 2011: 40 (2011) - 2010
- [c17]Hoon Hong:
Connectivity in Semi-algebraic Sets. SYNASC 2010: 4-7
2000 – 2009
- 2009
- [j31]Carlos D'Andrea
Sylvester's double sums: The general case. J. Symb. Comput. 44(9): 1164-1175 (2009) - [j30]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): 285-293 (2009) - [j29]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): 2249-2258 (2009) - [c16]Hoon Hong, Mohab Safey El Din:
Variant real quantifier elimination: algorithm and application. ISSAC 2009: 183-190 - 2008
- [j28]Robert Quinn, Hoon Hong:
Connectivity in semialgebraic sets (abstract only). ACM Commun. Comput. Algebra 42(1-2): 86 (2008) - [j27]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): 233 (2008) - 2007
- [j26]Carlos D'Andrea
An elementary proof of Sylvester's double sums for subresultants. J. Symb. Comput. 42(3): 290-297 (2007) - [j25]Hoon Hong, John Perry:
Are Buchberger's criteria necessary for the chain condition? J. Symb. Comput. 42(7): 717-732 (2007) - [j24]Chee-Keng Yap, Hoon Hong:
Foreword. Math. Comput. Sci. 1(1): 3-7 (2007) - 2006
- [j23]Hoon Hong, Deepak Kapur, Peter Paule, Franz Winkler:
Bruno Buchberger - A life devoted to symbolic computation. J. Symb. Comput. 41(3-4): 255-258 (2006) - [c15]Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang:
Solving Dynamic Geometric Constraints Involving Inequalities. AISC 2006: 181-195 - [e3]Hoon Hong, Dongming Wang:
Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers. Lecture Notes in Computer Science 3763, Springer 2006, ISBN 3-540-31332-X [contents] - 2004
- [j22]Hoon Hong:
Note on Jacobi's method for approximating dominant roots. J. Symb. Comput. 37(4): 449-453 (2004) - 2002
- [j21]Hoon Hong, Manfred Minimair
Sparse Resultant of Composed Polynomials IMixed-. Unmixed Case. J. Symb. Comput. 33(4): 447-465 (2002) - 2001
- [j20]Hoon Hong:
Ore Principal Subresultant Coefficients in Solutions. Appl. Algebra Eng. Commun. Comput. 11(3): 227-237 (2001) - [j19]Hoon Hong:
Ore Subresultant Coefficients in Solutions. Appl. Algebra Eng. Commun. Comput. 12(5): 421-428 (2001) - 2000
- [j18]Hoon Hong:
Editorial. J. Symb. Comput. 29(1): 3-4 (2000)
1990 – 1999
- 1999
- [j17]Hoon Hong, Erich L. Kaltofen, Michael F. Singer:
East Coast Computer Algebra Day '99 (April 24, 1999): abstracts of invited talks and presented posters. SIGSAM Bull. 33(2): 43-52 (1999) - 1998
- [j16]Hoon Hong, Dalibor Jakus:
Testing Positiveness of Polynomials. J. Autom. Reason. 21(1): 23-38 (1998) - [j15]Hoon Hong:
Bounds for Absolute Positiveness of Multivariate Polynomials. J. Symb. Comput. 25(5): 571-585 (1998) - [j14]Hoon Hong:
Groebner Basis Under Composition I. J. Symb. Comput. 25(5): 643-663 (1998) - [j13]Hoon Hong, Josef Schicho:
Algorithms for Trigonometric Curves (Simplification, Implicitization, Parameterization). J. Symb. Comput. 26(3): 279-300 (1998) - 1997
- [j12]Hoon Hong:
Heuristic Search and Pruning in Polynomial Constraints Satisfaction. Ann. Math. Artif. Intell. 19(3-4): 319-334 (1997) - [j11]Hoon Hong:
Implicitization of Nested Circular Curves. J. Symb. Comput. 23(2/3): 177-189 (1997) - [j10]Hoon Hong:
Subresultants Under Composition. J. Symb. Comput. 23(4): 355-365 (1997) - [j9]Hoon Hong, Richard Liska
Testing Stability by Quantifier Elimination. J. Symb. Comput. 24(2): 161-187 (1997) - [e2]Hoon Hong, Erich L. Kaltofen, Markus A. Hitz:
Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA. ACM 1997, ISBN 0-89791-951-3 [contents] - 1996
- [j8]Hoon Hong:
The Exact Region of Stability for MacCormack Scheme. Computing 56(4): 371-384 (1996) - [c14]Hoon Hong:
Groebner Basis Under Composition II. ISSAC 1996: 79-85 - 1995
- [j7]Hoon Hong, Volker Stahl:
Bernstein Form is Inclusion Monotone. Computing 55(1): 43-54 (1995) - [j6]Hoon Hong, Andreas Neubacher, Wolfgang Schreiner
The Design of the SACLIB/PACLIB Kernels. J. Symb. Comput. 19(1-3): 111-132 (1995) - [c13]Hoon Hong:
Implicitization of Curves Parameterized by Generalized Trigonometric Polynomials. AAECC 1995: 285-296 - 1994
- [j5]Hoon Hong, Volker Stahl:
Safe starting regions by fixed points and tightening. Computing 53(3-4): 323-335 (1994) - [c12]Hoon Hong, Hans-Wolfgang Loidl:
Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory Machine. CONPAR 1994: 325-336 - [c11]Hoon Hong:
RISC-CLP(CF) Constraint Logic Programming over Complex Functions. LPAR 1994: 99-113 - [e1]Hoon Hong:
First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994. World Scientific 1994, ISBN 978-981-4533-58-4 [contents] - 1993
- [j4]Hoon Hong:
Special Issue Editorial: Computational Quantifier Elimination. Comput. J. 36(5): 399 (1993) - [j3]Hoon Hong:
Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants. Comput. J. 36(5): 439-449 (1993) - [c10]Hoon Hong:
Parallelization of Quantifier Elimination on a Workstation Network. AAECC 1993: 170-179 - [c9]Wolfgang Schreiner
The Design of the PACLIB Kernel for Parallel Algebraic Computation. ACPC 1993: 204-218 - [c8]Hoon Hong, Andreas Neubacher, Wolfgang Schreiner
The Design of the SACLIB/PACLIB Kernels. DISCO 1993: 288-302 - [c7]Hoon Hong:
Quantifier Elimination for Formulas Constrained by Quadratic Equations. ISSAC 1993: 264-274 - [c6]Wolfgang Schreiner, Hoon Hong:
A New Library for Parallel Algebraic Computation. PPSC 1993: 776-783 - 1992
- [j2]Hoon Hong, Wolfgang Schreiner:
Programming in PACLIB. SIGSAM Bull. 26(4): 1-6 (1992) - [c5]Hoon Hong:
Heuristic Search Strategies for Cylindrical Algebraic Decomposion. AISMC 1992: 152-165 - [c4]Hoon Hong:
Non-linear Real Constraints in Constraint Logic Programming. ALP 1992: 201-212 - [c3]Hoon Hong:
Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination. ISSAC 1992: 177-188 - 1991
- [j1]George E. Collins, Hoon Hong:
Partial Cylindrical Algebraic Decomposition for Quantifier Elimination. J. Symb. Comput. 12(3): 299-328 (1991) - [c2]Hoon Hong:
RISC-CLP(Real): Logic Programming with Non-linear Constraints over the Reals. WCLP 1991: 133-159 - 1990
- [c1]Hoon Hong:
An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition. ISSAC 1990: 261-264
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-18 20:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: