 | 2009 |
|---|
| 40 |       | Hoon Hong,
Mohab Safey El Din:
Variant real quantifier elimination: algorithm and application.
ISSAC 2009: 183-190 |
| 39 | | Carlos D'Andrea,
Hoon Hong,
Teresa Krick,
Ágnes Szántó:
Sylvester's double sums: The general case.
J. Symb. Comput. 44(9): 1164-1175 (2009) |
| 2008 |
|---|
| 38 | | Hoon Hong,
John Perry:
Corrigendum to "Are Buchberger's criteria necessary for the chain condition?" [J. Symbolic Comput. 42(2007) 717-732].
J. Symb. Comput. 43(3): 233 (2008) |
| 2007 |
|---|
| 37 | | Carlos D'Andrea,
Hoon Hong,
Teresa Krick,
Ágnes Szántó:
An elementary proof of Sylvester's double sums for subresultants.
J. Symb. Comput. 42(3): 290-297 (2007) |
| 36 | | Hoon Hong,
John Perry:
Are Buchberger's criteria necessary for the chain condition?
J. Symb. Comput. 42(7): 717-732 (2007) |
| 35 | | Chee-Keng Yap,
Hoon Hong:
Foreword.
Mathematics in Computer Science 1(1): 3-7 (2007) |
| 2006 |
|---|
| 34 |  | Hoon Hong,
Dongming Wang:
Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Springer 2006 |
| 33 | | Hoon Hong,
Liyun Li,
Tielin Liang,
Dongming Wang:
Solving Dynamic Geometric Constraints Involving Inequalities.
AISC 2006: 181-195 |
| 32 | | Hoon Hong,
Deepak Kapur,
Peter Paule,
Franz Winkler:
Bruno Buchberger - A life devoted to symbolic computation.
J. Symb. Comput. 41(3-4): 255-258 (2006) |
| 2004 |
|---|
| 31 | | Hoon Hong:
Note on Jacobi's method for approximating dominant roots.
J. Symb. Comput. 37(4): 449-453 (2004) |
| 2002 |
|---|
| 30 | | Hoon Hong,
Manfred Minimair:
Sparse Resultant of Composed Polynomials IMixed-. Unmixed Case.
J. Symb. Comput. 33(4): 447-465 (2002) |
| 2001 |
|---|
| 29 | | Hoon Hong:
Ore Principal Subresultant Coefficients in Solutions.
Appl. Algebra Eng. Commun. Comput. 11(3): 227-237 (2001) |
| 28 | | Hoon Hong:
Ore Subresultant Coefficients in Solutions.
Appl. Algebra Eng. Commun. Comput. 12(5): 421-428 (2001) |
| 2000 |
|---|
| 27 | | Hoon Hong:
Editorial.
J. Symb. Comput. 29(1): 3-4 (2000) |
| 1998 |
|---|
| 26 | | Hoon Hong,
Dalibor Jakus:
Testing Positiveness of Polynomials.
J. Autom. Reasoning 21(1): 23-38 (1998) |
| 25 | | Hoon Hong:
Bounds for Absolute Positiveness of Multivariate Polynomials.
J. Symb. Comput. 25(5): 571-585 (1998) |
| 24 | | Hoon Hong:
Groebner Basis Under Composition I.
J. Symb. Comput. 25(5): 643-663 (1998) |
| 23 | | Hoon Hong,
Josef Schicho:
Algorithms for Trigonometric Curves (Simplification, Implicitization, Parameterization).
J. Symb. Comput. 26(3): 279-300 (1998) |
| 1997 |
|---|
| 22 | | Hoon Hong:
Heuristic Search and Pruning in Polynomial Constraints Satisfaction.
Ann. Math. Artif. Intell. 19(3-4): 319-334 (1997) |
| 21 | | Hoon Hong:
Implicitization of Nested Circular Curves.
J. Symb. Comput. 23(2/3): 177-189 (1997) |
| 20 | | Hoon Hong:
Subresultants Under Composition.
J. Symb. Comput. 23(4): 355-365 (1997) |
| 19 | | Hoon Hong,
Richard Liska,
Stanly Steinberg:
Testing Stability by Quantifier Elimination.
J. Symb. Comput. 24(2): 161-187 (1997) |
| 1996 |
|---|
| 18 | | Hoon Hong:
Groebner Basis Under Composition II.
ISSAC 1996: 79-85 |
| 17 | | Hoon Hong:
The Exact Region of Stability for MacCormack Scheme.
Computing 56(4): 371-384 (1996) |
| 1995 |
|---|
| 16 | | Hoon Hong:
Implicitization of Curves Parameterized by Generalized Trigonometric Polynomials.
AAECC 1995: 285-296 |
| 15 | | Hoon Hong,
Volker Stahl:
Bernstein Form is Inclusion Monotone.
Computing 55(1): 43-54 (1995) |
| 14 | | Hoon Hong,
Andreas Neubacher,
Wolfgang Schreiner:
The Design of the SACLIB/PACLIB Kernels.
J. Symb. Comput. 19(1-3): 111-132 (1995) |
| 1994 |
|---|
| 13 | | Hoon Hong,
Hans-Wolfgang Loidl:
Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory Machine.
CONPAR 1994: 325-336 |
| 12 | | Hoon Hong:
RISC-CLP(CF) Constraint Logic Programming over Complex Functions.
LPAR 1994: 99-113 |
| 1993 |
|---|
| 11 | | Hoon Hong:
Parallelization of Quantifier Elimination on a Workstation Network.
AAECC 1993: 170-179 |
| 10 | | Wolfgang Schreiner,
Hoon Hong:
The Design of the PACLIB Kernel for Parallel Algebraic Computation.
ACPC 1993: 204-218 |
| 9 | | Hoon Hong,
Andreas Neubacher,
Wolfgang Schreiner:
The Design of the SACLIB/PACLIB Kernels.
DISCO 1993: 288-302 |
| 8 | | Hoon Hong:
Quantifier Elimination for Formulas Constrained by Quadratic Equations.
ISSAC 1993: 264-274 |
| 7 | | Wolfgang Schreiner,
Hoon Hong:
A New Library for Parallel Algebraic Computation.
PPSC 1993: 776-783 |
| 6 | | Hoon Hong:
Special Issue Editorial: Computational Quantifier Elimination.
Comput. J. 36(5): 399 (1993) |
| 5 | | Hoon Hong:
Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants.
Comput. J. 36(5): 439-449 (1993) |
| 1992 |
|---|
| 4 | | Hoon Hong:
Heuristic Search Strategies for Cylindrical Algebraic Decomposion.
AISMC 1992: 152-165 |
| 3 | | Hoon Hong:
Non-linear Real Constraints in Constraint Logic Programming.
ALP 1992: 201-212 |
| 2 | | Hoon Hong:
Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination.
ISSAC 1992: 177-188 |
| 1991 |
|---|
| 1 | | Hoon Hong:
RISC-CLP(Real): Logic Programming with Non-linear Constraints over the Reals.
WCLP 1991: 133-159 |
