Effective computation over the real numbers | IEEE Conference Publication | IEEE Xplore