Hoon Hong - RankMe

108 papers B 9C 1Misc 3Journal 79Unranked 12

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