@article {1708.05377, archivePrefix = {arXiv}, eprint = {1708.05377}, primaryClass = {cs.LO}, author = {Michele Boreale}, title = {Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ode's}, year = {2017}, url = {http://arxiv.org/abs/1708.05377} }