1. Effective bounds for the consistency of differential equations. (November 2018) Authors: Gustavson, Richard; León Sánchez, Omar Journal: Journal of symbolic computation Issue: Volume 89(2018) Page Start: 41 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. New order bounds in differential elimination algorithms. (March 2018) Authors: Gustavson, Richard; Ovchinnikov, Alexey; Pogudin, Gleb Journal: Journal of symbolic computation Issue: Volume 85(2018) Page Start: 128 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗