Hoon Hong

	2012
45		Hoon Hong, Mohab Safey El Din: Variant quantifier elimination. J. Symb. Comput. 47(7): 883-901 (2012)
	2011
44		Hoon Hong, Eunjeong Lee, Hyang-Sook Lee, Cheol-Min Park: Simple and Exact Formula for Minimum Loop Length in Ate_i Pairing based on Brezing-Weng Curves. IACR Cryptology ePrint Archive 2011: 40 (2011)
43		Ting Zhao, Dongming Wang, Hoon Hong: Solution formulas for cubic equations without or with constraints. J. Symb. Comput. 46(8): 904-918 (2011)
	2010
42		Hoon Hong: Connectivity in Semi-algebraic Sets. SYNASC 2010: 4-7
	2009
41		Hoon Hong, Mohab Safey El Din: Variant real quantifier elimination: algorithm and application. ISSAC 2009: 183-190
40		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
39		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
38		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)
37		Hoon Hong, John Perry: Are Buchberger's criteria necessary for the chain condition? J. Symb. Comput. 42(7): 717-732 (2007)
36		Chee-Keng Yap, Hoon Hong: Foreword. Mathematics in Computer Science 1(1): 3-7 (2007)
	2006
35		Hoon Hong, Dongming Wang: Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers Springer 2006
34		Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang: Solving Dynamic Geometric Constraints Involving Inequalities. AISC 2006: 181-195
33		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
32		Hoon Hong: Note on Jacobi's method for approximating dominant roots. J. Symb. Comput. 37(4): 449-453 (2004)
	2002
31		Hoon Hong, Manfred Minimair: Sparse Resultant of Composed Polynomials IMixed-. Unmixed Case. J. Symb. Comput. 33(4): 447-465 (2002)
	2001
30		Hoon Hong: Ore Principal Subresultant Coefficients in Solutions. Appl. Algebra Eng. Commun. Comput. 11(3): 227-237 (2001)
29		Hoon Hong: Ore Subresultant Coefficients in Solutions. Appl. Algebra Eng. Commun. Comput. 12(5): 421-428 (2001)
	2000
28		Hoon Hong: Editorial. J. Symb. Comput. 29(1): 3-4 (2000)
	1998
27		Hoon Hong, Dalibor Jakus: Testing Positiveness of Polynomials. J. Autom. Reasoning 21(1): 23-38 (1998)
26		Hoon Hong: Bounds for Absolute Positiveness of Multivariate Polynomials. J. Symb. Comput. 25(5): 571-585 (1998)
25		Hoon Hong: Groebner Basis Under Composition I. J. Symb. Comput. 25(5): 643-663 (1998)
24		Hoon Hong, Josef Schicho: Algorithms for Trigonometric Curves (Simplification, Implicitization, Parameterization). J. Symb. Comput. 26(3): 279-300 (1998)
	1997
23		Hoon Hong, Erich Kaltofen, Markus A. Hitz: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA ACM 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 L. 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

Coauthor Index

1	Carlos D'Andrea	[38] [40]
2	Mohab Safey El Din	[41] [45]
3	Markus A. Hitz	[23]
4	Dalibor Jakus	[27]
5	Erich Kaltofen	[23]
6	Deepak Kapur	[33]
7	Teresa Krick	[38] [40]
8	Eunjeong Lee	[44]
9	Hyang-Sook Lee	[44]
10	Liyun Li	[34]
11	Tielin Liang	[34]
12	Richard Liska	[19]
13	Hans-Wolfgang Loidl	[13]
14	Manfred Minimair	[31]
15	Andreas Neubacher	[9] [14]
16	Cheol-Min Park	[44]
17	Peter Paule	[33]
18	John Perry	[37] [39]
19	Josef Schicho	[24]
20	Wolfgang Schreiner	[7] [9] [10] [14]
21	Volker Stahl	[15]
22	Stanly L. Steinberg	[19]
23	Ágnes Szántó	[38] [40]
24	Dongming Wang	[34] [35] [43]
25	Franz Winkler	[33]
26	Chee-Keng Yap (Chee Yap)	[36]
27	Ting Zhao	[43]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page