Follow
Hoon Hong
Title
Cited by
Cited by
Year
Partial cylindrical algebraic decomposition for quantifier elimination
GE Collins, H Hong
Journal of Symbolic Computation 12 (3), 299-328, 1991
8001991
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
3122008
An improvement of the projection operator in cylindrical algebraic decomposition
H Hong
Proceedings of the international symposium on Symbolic and algebraic …, 1990
1921990
Testing stability by quantifier elimination
H Hong, R Liska, S Steinberg
Journal of Symbolic Computation 24 (2), 161-187, 1997
1371997
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
1311996
Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination
H Hong
Papers from the international symposium on Symbolic and algebraic …, 1992
1311992
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
1242009
Improvements in CAD-based quantifier elimination
H Hong
The Ohio State University, 1990
1151990
Safe starting regions by fixed points and tightening
H Hong, V Stahl
Computing (Wien. Print) 53 (3-4), 323-335, 1994
951994
SIAN: software for structural identifiability analysis of ODE models
H Hong, A Ovchinnikov, G Pogudin, C Yap
Bioinformatics 35 (16), 2873-2874, 2019
892019
Global identifiability of differential models
H Hong, A Ovchinnikov, G Pogudin, C Yap
Communications on Pure and Applied Mathematics 73 (9), 1831-1879, 2020
862020
Testing positiveness of polynomials
H Hong, D Jakuš
Journal of Automated Reasoning 21, 23-38, 1998
861998
Variant quantifier elimination
H Hong, MS El Din
Journal of Symbolic Computation 47 (7), 883-901, 2012
682012
Comparison of several decision algorithms for the existential theory of the reals
H Hong
RISC; Research Institute for Symbolic Computation; Johannes Kepler Univ., 1991
641991
Groebner basis under composition I
H Hong
Journal of Symbolic Computation 25 (5), 643-663, 1998
581998
Bounds for absolute positiveness of multivariate polynomials
H Hong
Journal of symbolic Computation 25 (5), 571-585, 1998
561998
Speeding-up quantifier elimination by Gröbner bases
B Buchberger, H Hong
RISC; Research Institute for Symbolic Computation; Johannes Kepler Univ., 1991
481991
Quantifier elimination for formulas constrained by quadratic equations via slope resultants
H Hong
The Computer Journal 36 (5), 439-449, 1993
421993
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
401993
Subresultants under composition
H Hong
Journal of Symbolic Computation 23 (4), 355-365, 1997
391997
The system can't perform the operation now. Try again later.
Articles 1–20