Hoon Hong

Works (39)

2020 article

Global Identifiability of Differential Models

COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS.

By: H. Hong, A. Ovchinnikov, G. Pogudin & C. Yap

Source: Web Of Science
Added: July 6, 2020

2019 journal article

SIAN: a tool for assessing structural identifiability of parametric ODEs

ACM COMMUNICATIONS IN COMPUTER ALGEBRA, 53(2), 37–40.

By: H. Hong, A. Ovchinnikov, G. Pogudin & C. Yap

Source: Web Of Science
Added: December 2, 2019

2019 journal article

SIAN: software for structural identifiability analysis of ODE models

BIOINFORMATICS, 35(16), 2873–2874.

By: H. Hong, A. Ovchinnikov, G. Pogudin & C. Yap

Source: Web Of Science
Added: October 28, 2019

2018 journal article

Improving root separation bounds

Journal of Symbolic Computation, 84, 25–56.

By: A. Herman, H. Hong & E. Tsigaridas

Source: NC State University Libraries
Added: August 6, 2018

2018 journal article

Locating and counting equilibria of the Kuramoto model with rank-one coupling

SIAM Journal on Applied Algebra and Geometry, 2(1), 45–71.

By: O. Coss, J. Hauenstein, H. Hong & D. Molzahn

Source: NC State University Libraries
Added: August 6, 2018

2018 journal article

Number of common roots and resultant of two tropical univariate polynomials

JOURNAL OF ALGEBRA, 511, 420–439.

By: H. Hong & J. Rafael Sendra

Source: NC State University Libraries
Added: October 19, 2018

2017 journal article

Algorithm for computing mu-bases of univariate polynomials

Journal of Symbolic Computation, 80, 844–874.

By: H. Hong, Z. Hough & I. Kogan

Source: NC State University Libraries
Added: August 6, 2018

2017 journal article

Open weak CAD and its applications

Journal of Symbolic Computation, 80, 785–816.

By: J. Han, L. Dai, H. Hong & B. Xia

Source: NC State University Libraries
Added: August 6, 2018

2017 journal article

Resultants over commutative idempotent semirings I: Algebraic aspect

Journal of Symbolic Computation, 79, 285–308.

By: H. Hong, Y. Kim, G. Scholten & J. Sendra

Source: NC State University Libraries
Added: August 6, 2018

2016 journal article

Quality of positive root bounds

Journal of Symbolic Computation, 74, 592–602.

By: A. Herman & H. Hong

Source: NC State University Libraries
Added: August 6, 2018

2016 journal article

Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation)

Journal of Symbolic Computation, 75, 110–126.

By: M. Erascu & H. Hong

Source: NC State University Libraries
Added: August 6, 2018

2015 journal article

An algebraic method for constructing stable and consistent autoregressive filters

Journal of Computational Physics, 283, 241–257.

By: J. Harlim, H. Hong & J. Robbins

Source: NC State University Libraries
Added: August 6, 2018

2015 journal article

Explicit formula for optimal ate pairing over cyclotomic family of elliptic curves

Finite Fields and Their Applications, 34, 45–74.

By: H. Hong, E. Lee & H. Lee

Source: NC State University Libraries
Added: August 6, 2018

2015 journal article

On using Lazard's projection in CAD construction

Journal of Symbolic Computation, 72, 65–81.

By: S. McCallum & H. Hong

Source: NC State University Libraries
Added: August 6, 2018

2015 journal article

Special algorithm for stability analysis of multistable biological regulatory systems

Journal of Symbolic Computation, 70, 112–135.

By: H. Hong, X. Tang & B. Xia

Source: NC State University Libraries
Added: August 6, 2018

2014 chapter

ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves

In Computer Mathematics (pp. 437–451).

By: J. Yang, D. Wang & H. Hong

Source: Crossref
Added: February 24, 2020

2014 book

Mathematical software - ICMS 2014: 4th International Congress, Seoul, South Korea, August 5-9, 2014 : Proceedings

Heidelberg: Springer.

Source: NC State University Libraries
Added: August 6, 2018

2014 chapter

Pairing Inversion via Non-degenerate Auxiliary Pairings

In Pairing-Based Cryptography – Pairing 2013 (pp. 77–96).

By: S. Chang, H. Hong, E. Lee & H. Lee

Source: Crossref
Added: February 24, 2020

2013 journal article

A framework for improving uniformity of parameterizations of curves

Science China-Information Sciences, 56(10).

By: H. Hong, D. Wang & J. Yang

Source: NC State University Libraries
Added: August 6, 2018

2013 chapter

Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization

In Automated Deduction in Geometry (pp. 33–47).

By: J. Yang, D. Wang & H. Hong

Source: Crossref
Added: February 24, 2020

2013 journal article

Improving angular speed uniformity by reparameterization

Computer Aided Geometric Design, 30(7), 636–652.

By: J. Yang, D. Wang & H. Hong

Source: NC State University Libraries
Added: August 6, 2018

2013 journal article

Object-image correspondence for algebraic curves under projections

Symmetry, Integrability and Geometry, Methods and Applications, 9.

By: J. Burdis, I. Kogan & H. Hong

Source: NC State University Libraries
Added: August 6, 2018

2013 journal article

Simple and exact formula for minimum loop length in Ate (i) pairing based on Brezing-Weng curves

Designs Codes and Cryptography, 67(2), 271–292.

By: H. Hong, E. Lee, H. Lee & C. Park

Source: NC State University Libraries
Added: August 6, 2018

2012 chapter

Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization

In Computer Algebra in Scientific Computing (pp. 349–360).

By: J. Yang, D. Wang & H. Hong

Source: Crossref
Added: February 24, 2020

2012 journal article

Maximum gap in (inverse) cyclotomic polynomial

Journal of Number Theory, 132(10), 2297–2315.

By: H. Hong, E. Lee, H. Lee & C. Park

Source: NC State University Libraries
Added: August 6, 2018

2012 conference paper

Variant quantifier elimination

Journal of Symbolic Computation, 47(7), 883–901.

By: H. Hong & M. El Din

Source: NC State University Libraries
Added: August 6, 2018

2011 journal article

Solution formulas for cubic equations without or with constraints

Journal of Symbolic Computation, 46(8), 904–918.

By: T. Zhao, D. Wang & H. Hong

Source: NC State University Libraries
Added: August 6, 2018

2009 journal article

Real-time algorithm for minimizing THD in multilevel inverters with unequal or varying voltage steps under staircase modulation

IEEE Transactions on Industrial Electronics, 56(6), 2249–2258.

By: Y. Liu, H. Hong & A. Huang

Source: NC State University Libraries
Added: August 6, 2018

2009 journal article

Real-time calculation of switching angles minimizing THDfor multilevel inverters with step modulation

IEEE Transactions on Industrial Electronics, 56(2), 285–293.

By: Y. Liu, H. Hong & A. Huang

Source: NC State University Libraries
Added: August 6, 2018

2009 conference paper

Sylvester's double sums: The general case

Journal of Symbolic Computation, 44(9), 1164–1175.

By: C. D'Andrea, H. Hong, T. Krick & A. Szanto

Source: NC State University Libraries
Added: August 6, 2018

2008 article

Are Buchberger's criteria necessary for the chain condition? (vol 42, pg 717, 2007)

Journal of Symbolic Computation, Vol. 43, pp. 233–233.

By: H. Hong & J. Perry

Source: NC State University Libraries
Added: August 6, 2018

2008 journal article

Corrigendum to “Are Buchberger’s criteria necessary for the chain condition?” [J. Symbolic Comput. 42 (2007) 717–732]

Journal of Symbolic Computation, 43(3), 233.

By: H. Hong & J. Perry

Source: Crossref
Added: August 28, 2020

2007 journal article

An elementary proof of Sylvester's double sums for subresultants

Journal of Symbolic Computation, 42(3), 290–297.

By: C. D'andrea, H. Hong, T. Krick & A. Szanto

Source: NC State University Libraries
Added: August 6, 2018

2007 journal article

Are Buchberger’s criteria necessary for the chain condition?

Journal of Symbolic Computation, 42(7), 717–732.

By: H. Hong & J. Perry

Source: Crossref
Added: August 28, 2020

2006 article

Bruno Buchberger - A life devoted to symbolic computation

Journal of Symbolic Computation, Vol. 41, pp. 255–258.

By: H. Hong, D. Kapur, P. Paule & F. Winkler

Source: NC State University Libraries
Added: August 6, 2018

2006 chapter

Solving Dynamic Geometric Constraints Involving Inequalities

In Artificial Intelligence and Symbolic Computation (pp. 181–195).

By: H. Hong, L. Li, T. Liang & D. Wang

Source: Crossref
Added: February 24, 2020

2004 journal article

Note on Jacobi's method for approximating dominant roots

Journal of Symbolic Computation, 37(4), 449–453.

By: H. Hong

Source: NC State University Libraries
Added: August 6, 2018

2002 journal article

Sparse resultant of composed polynomials I* mixed-unmixed case

Journal of Symbolic Computation, 33(4), 447–465.

By: H. Hong & M. Minimair

Source: NC State University Libraries
Added: August 6, 2018

2001 journal article

Ore subresultant coefficients in solutions

Applicable Algebra in Engineering, Communication and Computing, 12(5), 421–428.

By: H. Hong

Source: NC State University Libraries
Added: August 6, 2018