Hoon Hong

Publications

2013

[Hong]

The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation

M. Erascu, H. Hong

Journal of Reliable Computing 18, pp. 73-81. 2013. 1573-1340. [pdf]

[bib]

@article{RISC4579,
author = {M. Erascu and H. Hong},
title = {{The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation}},
language = {english},
journal = { Journal of Reliable Computing},
volume = {18},
pages = {73--81},
isbn_issn = {1573-1340},
year = {2013},
refereed = {yes},
length = {9}
}

1997

[Hong]

Algorithms for Trigonometric Curves

Hoon Hong, Josef Schicho

Technical report no. 97-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). March 1997. [ps]

[bib]

@techreport{RISC1365,
author = {Hoon Hong and Josef Schicho},
title = {{Algorithms for Trigonometric Curves}},
number = {97-09},
year = {1997},
month = {March},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Hong]

Bounds for Absolute Positiveness of Multivariate Polynomials

Hoon Hong

Technical report no. 97-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). March 1997. [ps]

[bib]

@techreport{RISC1369,
author = {Hoon Hong},
title = {{Bounds for Absolute Positiveness of Multivariate Polynomials}},
number = {97-13},
year = {1997},
month = {March},
keywords = {multivariate polynomials, absolute positiveness, roots, bounds},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

1996

[Hong]

A New Proof for the Implicitization of Curves Parameterized by Generalized Trigonometric Polynomials

Hoon Hong, Josef Schicho

Technical report no. 96-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). May 1996. Not available in electronic form. Please retrieve the updated version of this paper, published as report 97-09..

[bib]

@techreport{RISC1319,
author = {Hoon Hong and Josef Schicho},
title = {{A New Proof for the Implicitization of Curves Parameterized by Generalized Trigonometric Polynomials}},
number = {96-13},
year = {1996},
month = {May},
note = {Not available in electronic form. Please retrieve the updated version of this paper, published as report 97-09.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Hong]

Determining the Relationship among Sets

Hoon Hong, Stefan Ratschan

Technical report no. 96-28 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). December 1996. [ps]

[bib]

@techreport{RISC1349,
author = {Hoon Hong and Stefan Ratschan},
title = {{Determining the Relationship among Sets}},
number = {96-28},
year = {1996},
month = {December},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Hong]

Survey on Nonlinear Optimization

Hoon Hong, Daniela Vasaru

Technical report no. 96-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1996.

[bib]

@techreport{RISC1546,
author = {Hoon Hong and Daniela Vasaru},
title = {{Survey on Nonlinear Optimization}},
number = {96-04},
year = {1996},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Hong]

Testing Positiveness of Polynomials

Dalibor Jakus, Hoon Hong

Technical report no. 96-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1996.

[bib]

@techreport{RISC1548,
author = {Dalibor Jakus and Hoon Hong},
title = {{Testing Positiveness of Polynomials}},
number = {96-02},
year = {1996},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Hong]

HPGP: High Performance Generic Programming for Computational Mathematics by Compile-Time Instantiation of Higher Order Functors

Hoon Hong, Wolfgang Schreiner

Technical report no. 96-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1996.

[bib]

@techreport{RISC1551,
author = {Hoon Hong and Wolfgang Schreiner},
title = {{HPGP: High Performance Generic Programming for Computational Mathematics by Compile-Time Instantiation of Higher Order Functors}},
number = {96-10},
year = {1996},
sponsor = {Submitted to the Austrian National Science Foundation and granted under grant no. P11414.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Hong]

Gr\"obner Bases Under Composition II

Hoon Hong

Technical report no. 96-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1996.

[bib]

@techreport{RISC1554,
author = {Hoon Hong},
title = {{Gr\"obner Bases Under Composition II}},
number = {96-03},
year = {1996},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Hong]

Characterization of Bernstein Coefficients

Hoon Hong

Technical report no. 96-26 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1996.

[bib]

@techreport{RISC1561,
author = {Hoon Hong},
title = {{Characterization of Bernstein Coefficients}},
number = {96-26},
year = {1996},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

1995

[Hong]

A Basis for Multivariate Hermite Interpolation

Hoon Hong

Technical report no. 95-34 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). August 1995. [ps]

[bib]

@techreport{RISC1325,
author = {Hoon Hong},
title = {{A Basis for Multivariate Hermite Interpolation}},
number = {95-34},
year = {1995},
month = {August},
sponsor = {Austrian Science Foundation, in the frame of ACCLAIM, Esprit BRA},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Hong]

On Using Volume Computation to Estimate the Work Distribution for Parallel Programs

Thomas Fahringer, Hoon Hong

Technical report no. 95-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1995.

[bib]

@techreport{RISC1562,
author = {Thomas Fahringer and Hoon Hong},
title = {{On Using Volume Computation to Estimate the Work Distribution for Parallel Programs}},
number = {95-01},
year = {1995},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Hong]

Reachability Test in Petri Nets by Gr\"obner Bases

Olga Caprotti, Alois Ferscha, Hoon Hong

Technical report no. 95-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1995.

[bib]

@techreport{RISC1564,
author = {Olga Caprotti and Alois Ferscha and Hoon Hong},
title = {{Reachability Test in Petri Nets by Gr\"obner Bases}},
number = {95-03},
year = {1995},
sponsor = { Austrian Forschungsf"{o}rderungsfonds (FWF), project no.S5302-PHY (Parallel Symbolic Computation).},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Hong]

Computing the Volume of a Convex Polytope Using Interval Arithmetic

Thomas Fahringer, Hoon Hong, Franz Kriftner, Volker Stahl

Technical report no. 95-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1995.

[bib]

@techreport{RISC1565,
author = {Thomas Fahringer and Hoon Hong and Franz Kriftner and Volker Stahl},
title = {{Computing the Volume of a Convex Polytope Using Interval Arithmetic}},
number = {95-04},
year = {1995},
sponsor = {Austrian Science Foundation, project S5302},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Hong]

The Exact Region of Stability for MacCormack Scheme

Hoon Hong

Technical report no. 95-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1995.

[bib]

@techreport{RISC1567,
author = {Hoon Hong},
title = {{The Exact Region of Stability for MacCormack Scheme}},
number = {95-06},
year = {1995},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Hong]

RISC-CLP (Tree$(\Delta)$): A Constraint Logic Programming System with Parametric Domain

Hoon Hong, Stefan Ratschan

Technical report no. 95-25 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1995.

[bib]

@techreport{RISC1580,
author = {Hoon Hong and Stefan Ratschan},
title = {{RISC-CLP (Tree$(\Delta)$): A Constraint Logic Programming System with Parametric Domain}},
number = {95-25},
year = {1995},
sponsor = { in the frame of ACCLAIM, Esprit BRA, supported by the Austrian Science Foundation},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Hong]

Subresultants Under Composition

Hoon Hong

Technical report no. 95-47 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1995.

[bib]

@techreport{RISC1591,
author = {Hoon Hong},
title = {{Subresultants Under Composition}},
number = {95-47},
year = {1995},
sponsor = { in the frame of ACCLAIM, Esprit BRA, supported by the Austrian Science Foundation},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Hong]

Implementing Real Root Count with Polynomial Constraints for the Multivariate Case with one Constraint Polynomial

Hoon Hong, Wolfgang St\"ocher

Technical report no. 95-50 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1995.

[bib]

@techreport{RISC1594,
author = {Hoon Hong and Wolfgang St\"ocher},
title = {{Implementing Real Root Count with Polynomial Constraints for the Multivariate Case with one Constraint Polynomial}},
number = {95-50},
year = {1995},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Hong]

Structure and Efficient Computation of Multiplication Tables and Associated Quadratic Forms

Hoon Hong, Josef Schicho, Wolfgang St\"ocher

Technical report no. 95-51 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1995.

[bib]

@techreport{RISC1595,
author = {Hoon Hong and Josef Schicho and Wolfgang St\"ocher},
title = {{Structure and Efficient Computation of Multiplication Tables and Associated Quadratic Forms}},
number = {95-51},
year = {1995},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Hong]

Gr\"obner Bases Under Composition

Hoon Hong

Technical report no. 95-55 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1995.

[bib]

@techreport{RISC1599,
author = {Hoon Hong},
title = {{Gr\"obner Bases Under Composition}},
number = {95-55},
year = {1995},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}