dblp.uni-trier.dewww.uni-trier.de

Hoon Hong

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
38EEHoon 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
37EECarlos 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)
36EEHoon Hong, John Perry: Are Buchberger's criteria necessary for the chain condition? J. Symb. Comput. 42(7): 717-732 (2007)
35EEChee-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
33EEHoon Hong, Liyun Li, Tielin Liang, Dongming Wang: Solving Dynamic Geometric Constraints Involving Inequalities. AISC 2006: 181-195
32EEHoon 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
31EEHoon Hong: Note on Jacobi's method for approximating dominant roots. J. Symb. Comput. 37(4): 449-453 (2004)
2002
30EEHoon Hong, Manfred Minimair: Sparse Resultant of Composed Polynomials IMixed-. Unmixed Case. J. Symb. Comput. 33(4): 447-465 (2002)
2001
29EEHoon Hong: Ore Principal Subresultant Coefficients in Solutions. Appl. Algebra Eng. Commun. Comput. 11(3): 227-237 (2001)
28EEHoon 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
18EEHoon Hong: Groebner Basis Under Composition II. ISSAC 1996: 79-85
17EEHoon 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
15EEHoon 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
8EEHoon 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
2EEHoon 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

Coauthor Index

1Carlos D'Andrea [37]
2Dalibor Jakus [26]
3Deepak Kapur [32]
4Teresa Krick [37]
5Liyun Li [33]
6Tielin Liang [33]
7Richard Liska [19]
8Hans-Wolfgang Loidl [13]
9Manfred Minimair [30]
10Andreas Neubacher [9] [14]
11Peter Paule [32]
12John Perry [36] [38]
13Josef Schicho [23]
14Wolfgang Schreiner [7] [9] [10] [14]
15Volker Stahl [15]
16Stanly Steinberg [19]
17Ágnes Szántó [37]
18Dongming Wang [33] [34]
19Franz Winkler [32]
20Chee-Keng Yap (Chee Yap) [35]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)