Partial cylindrical algebraic decomposition for quantifier elimination GE Collins, H Hong Journal of Symbolic Computation 12 (3), 299-328, 1991 | 800 | 1991 |
Real-time calculation of switching angles minimizing THD for multilevel inverters with step modulation Y Liu, H Hong, AQ Huang IEEE Transactions on Industrial Electronics 56 (2), 285-293, 2008 | 312 | 2008 |
An improvement of the projection operator in cylindrical algebraic decomposition H Hong Proceedings of the international symposium on Symbolic and algebraic …, 1990 | 192 | 1990 |
Testing stability by quantifier elimination H Hong, R Liska, S Steinberg Journal of Symbolic Computation 24 (2), 161-187, 1997 | 137 | 1997 |
An efficient method for analyzing the topology of plane real algebraic curves H Hong Mathematics and Computers in Simulation 42 (4-6), 571-582, 1996 | 131 | 1996 |
Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination H Hong Papers from the international symposium on Symbolic and algebraic …, 1992 | 131 | 1992 |
Real-time algorithm for minimizing THD in multilevel inverters with unequal or varying voltage steps under staircase modulation Y Liu, H Hong, AQ Huang IEEE Transactions on Industrial Electronics 56 (6), 2249-2258, 2009 | 124 | 2009 |
Improvements in CAD-based quantifier elimination H Hong The Ohio State University, 1990 | 115 | 1990 |
Safe starting regions by fixed points and tightening H Hong, V Stahl Computing (Wien. Print) 53 (3-4), 323-335, 1994 | 95 | 1994 |
SIAN: software for structural identifiability analysis of ODE models H Hong, A Ovchinnikov, G Pogudin, C Yap Bioinformatics 35 (16), 2873-2874, 2019 | 89 | 2019 |
Global identifiability of differential models H Hong, A Ovchinnikov, G Pogudin, C Yap Communications on Pure and Applied Mathematics 73 (9), 1831-1879, 2020 | 86 | 2020 |
Testing positiveness of polynomials H Hong, D Jakuš Journal of Automated Reasoning 21, 23-38, 1998 | 86 | 1998 |
Variant quantifier elimination H Hong, MS El Din Journal of Symbolic Computation 47 (7), 883-901, 2012 | 68 | 2012 |
Comparison of several decision algorithms for the existential theory of the reals H Hong RISC; Research Institute for Symbolic Computation; Johannes Kepler Univ., 1991 | 64 | 1991 |
Groebner basis under composition I H Hong Journal of Symbolic Computation 25 (5), 643-663, 1998 | 58 | 1998 |
Bounds for absolute positiveness of multivariate polynomials H Hong Journal of symbolic Computation 25 (5), 571-585, 1998 | 56 | 1998 |
Speeding-up quantifier elimination by Gröbner bases B Buchberger, H Hong RISC; Research Institute for Symbolic Computation; Johannes Kepler Univ., 1991 | 48 | 1991 |
Quantifier elimination for formulas constrained by quadratic equations via slope resultants H Hong The Computer Journal 36 (5), 439-449, 1993 | 42 | 1993 |
Saclib 1.1 user's guide B Buchberger, GE Collins, MJ Encarnacion, H Hong, JR Johnson, ... Universität Linz. Research Institute for Symbolic Computation [RISC], 1993 | 40 | 1993 |
Subresultants under composition H Hong Journal of Symbolic Computation 23 (4), 355-365, 1997 | 39 | 1997 |