1. On using Lazard's projection in CAD construction. (January 2016) Authors: McCallum, Scott; Hong, Hoon Journal: Journal of symbolic computation Issue: Volume 72(2016) Page Start: 65 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Truth table invariant cylindrical algebraic decomposition. (September 2016) Authors: Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David Journal: Journal of symbolic computation Issue: Volume 76(2016) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Truth table invariant cylindrical algebraic decomposition. (September 2016) Authors: Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David Journal: Journal of symbolic computation Issue: Volume 76(2016) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Validity proof of Lazard's method for CAD construction. (May 2019) Authors: McCallum, Scott; Parusiński, Adam; Paunescu, Laurentiu Journal: Journal of symbolic computation Issue: Volume 92(2019) Page Start: 52 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗