Nong Gu, Daniel Lazard, Fabrice Rouillier, Yong Xiang. Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process. Mathematics in Computer Science, 1(2):291-304, 2007. [doi]
@article{GuLRX07,
title = {Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process},
author = {Nong Gu and Daniel Lazard and Fabrice Rouillier and Yong Xiang},
year = {2007},
doi = {10.1007/s11786-007-0021-7},
url = {http://dx.doi.org/10.1007/s11786-007-0021-7},
tags = {optimization, process algebra, algebra},
researchr = {https://researchr.org/publication/GuLRX07},
cites = {0},
citedby = {0},
journal = {Mathematics in Computer Science},
volume = {1},
number = {2},
pages = {291-304},
}