Hoon Hong - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Solution formulas for cubic equations without or with constraintsTing Zhao, Dongming Wang, Hoon Hong. JSC, 46(8):904-918, 2011. [doi]

2010

Connectivity in Semi-algebraic SetsHoon Hong. synasc 2010: 4-7 [doi]

2009

Sylvester s double sums: The general caseCarlos D Andrea, Hoon Hong, Teresa Krick, Ágnes Szántó. JSC, 44(9):1164-1175, 2009. [doi]

Variant real quantifier elimination: algorithm and applicationHoon Hong, Mohab Safey El Din. issac 2009: 183-190 [doi]

2008

Corrigendum to Are Buchberger s criteria necessary for the chain condition? [J. Symbolic Comput. 42(2007) 717-732]Hoon Hong, John Perry. JSC, 43(3):233, 2008. [doi]

2007

An elementary proof of Sylvester s double sums for subresultantsCarlos D Andrea, Hoon Hong, Teresa Krick, Ágnes Szántó. JSC, 42(3):290-297, 2007. [doi]

Are Buchberger s criteria necessary for the chain condition?Hoon Hong, John Perry. JSC, 42(7):717-732, 2007. [doi]

ForewordChee-Keng Yap, Hoon Hong. mics, 1(1):3-7, 2007. [doi]

2006

Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised PapersHoon Hong, Dongming Wang, editors, Volume 3763 of Lecture Notes in Computer Science, Springer, 2006.

Bruno Buchberger - A life devoted to symbolic computationHoon Hong, Deepak Kapur, Peter Paule, Franz Winkler. JSC, 41(3-4):255-258, 2006. [doi]

Solving Dynamic Geometric Constraints Involving InequalitiesHoon Hong, Liyun Li, Tielin Liang, Dongming Wang. AISC 2006: 181-195 [doi]

2004

Note on Jacobi s method for approximating dominant rootsHoon Hong. JSC, 37(4):449-453, 2004. [doi]

2002

Sparse Resultant of Composed Polynomials IMixed-. Unmixed CaseHoon Hong, Manfred Minimair. JSC, 33(4):447-465, 2002. [doi]

2001

Ore Principal Subresultant Coefficients in SolutionsHoon Hong. aaecc, 11(3):227-237, 2001. [doi]

Ore Subresultant Coefficients in SolutionsHoon Hong. aaecc, 12(5):421-428, 2001. [doi]

2000

EditorialHoon Hong. JSC, 29(1):3-4, 2000.

1998

Algorithms for Trigonometric Curves (Simplification, Implicitization, Parameterization)Hoon Hong, Josef Schicho. JSC, 26(3):279-300, 1998.

Bounds for Absolute Positiveness of Multivariate PolynomialsHoon Hong. JSC, 25(5):571-585, 1998.

Groebner Basis Under Composition IHoon Hong. JSC, 25(5):643-663, 1998.

Testing Positiveness of PolynomialsHoon Hong, Dalibor Jakus. JAR, 21(1):23-38, 1998.

1997

Implicitization of Nested Circular CurvesHoon Hong. JSC, 23(2/3):177-189, 1997.

Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USAHoon Hong, Erich Kaltofen, Markus A. Hitz, editors, ACM, 1997.

Subresultants Under CompositionHoon Hong. JSC, 23(4):355-365, 1997.

Testing Stability by Quantifier EliminationHoon Hong, Richard Liska, Stanly Steinberg. JSC, 24(2):161-187, 1997.

Heuristic Search and Pruning in Polynomial Constraints SatisfactionHoon Hong. AMAI, 19(3-4):319-334, 1997.

1996

The Exact Region of Stability for MacCormack SchemeHoon Hong. computing, 56(4):371-384, 1996. [doi]

Groebner Basis Under Composition IIHoon Hong. issac 1996: 79-85 [doi]

1995

Bernstein Form is Inclusion MonotoneHoon Hong, Volker Stahl. computing, 55(1):43-54, 1995. [doi]

Implicitization of Curves Parameterized by Generalized Trigonometric PolynomialsHoon Hong. AAECC 1995: 285-296

The Design of the SACLIB/PACLIB KernelsHoon Hong, Andreas Neubacher, Wolfgang Schreiner. JSC, 19(1-3):111-132, 1995.

1994

Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory MachineHoon Hong, Hans-Wolfgang Loidl. conpar 1994: 325-336

RISC-CLP(CF) Constraint Logic Programming over Complex FunctionsHoon Hong. lpar 1994: 99-113

1993

1992

Heuristic Search Strategies for Cylindrical Algebraic DecomposionHoon Hong. AISC 1993: 152-165

Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier EliminationHoon Hong. issac 1992: 177-188 [doi]

Non-linear Real Constraints in Constraint Logic ProgrammingHoon Hong. icalp 1992: 201-212

1991

RISC-CLP(Real): Logic Programming with Non-linear Constraints over the RealsHoon Hong. wclp 1991: 133-159