An algebraic non-penetration filter for continuous collision detection using Sturm Theorem | IEEE Conference Publication | IEEE Xplore