1. A condition for multiplicity structure of univariate polynomials. (May 2021) Authors: Hong, Hoon; Yang, Jing Journal: Journal of symbolic computation Issue: Volume 104(2021) Page Start: 523 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Algorithm for computing μ-bases of univariate polynomials. (May 2017) Authors: Hong, Hoon; Hough, Zachary; Kogan, Irina A. Journal: Journal of symbolic computation Issue: Volume 80:Part 3(2017) Page Start: 844 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Improving root separation bounds. (January 2018) Authors: Herman, Aaron; Hong, Hoon; Tsigaridas, Elias Journal: Journal of symbolic computation Issue: Volume 84(2018) Page Start: 25 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. On using Lazard's projection in CAD construction. (January 2016) Authors: McCallum, Scott; Hong, Hoon Journal: Journal of symbolic computation Issue: Volume 72(2016) Page Start: 65 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Open weak CAD and its applications. (May 2017) Authors: Han, Jingjun; Dai, Liyun; Hong, Hoon; Xia, Bican Journal: Journal of symbolic computation Issue: Volume 80:Part 3(2017) Page Start: 785 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Quality of positive root bounds. (May 2016) Authors: Herman, Aaron; Hong, Hoon Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 592 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Quality of positive root bounds. (May 2016) Authors: Herman, Aaron; Hong, Hoon Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 592 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation). (July 2016) Authors: Eraşcu, Mădălina; Hong, Hoon Journal: Journal of symbolic computation Issue: Volume 75(2016) Page Start: 110 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation). (July 2016) Authors: Eraşcu, Mădălina; Hong, Hoon Journal: Journal of symbolic computation Issue: Volume 75(2016) Page Start: 110 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Resultants over commutative idempotent semirings I: Algebraic aspect. (March 2017) Authors: Hong, Hoon; Kim, Yonggu; Scholten, Georgy; Sendra, J. Rafael Journal: Journal of symbolic computation Issue: Volume 79(2017)Part 2 Page Start: 285 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗