Residuation of tropical series: Rationality issues | IEEE Conference Publication | IEEE Xplore