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. Global Identifiability of Differential Models. Issue 9 (17th June 2020) Authors: Hong, Hoon; Ovchinnikov, Alexey; Pogudin, Gleb; Yap, Chee Journal: Communications on pure and applied mathematics Issue: Volume 73:Issue 9(2020:Sep.) Page Start: 1831 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. 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) ↗
5. 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) ↗
6. 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) ↗
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. 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) ↗
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. 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) ↗