1. A complete and terminating approach to linear integer solving. (September 2020) Authors: Bromberger, Martin; Sturm, Thomas; Weidenbach, Christoph Journal: Journal of symbolic computation Issue: Volume 100(2020) Page Start: 102 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Applying computer algebra systems with SAT solvers to the Williamson conjecture. (September 2020) Authors: Bright, Curtis; Kotsireas, Ilias; Ganesh, Vijay Journal: Journal of symbolic computation Issue: Volume 100(2020) Page Start: 187 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Computing and using minimal polynomials. (September 2020) Authors: Abbott, John; Bigatti, Anna Maria; Palezzato, Elisa; Robbiano, Lorenzo Journal: Journal of symbolic computation Issue: Volume 100(2020) Page Start: 137 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Cylindrical algebraic decomposition with equational constraints. (September 2020) Authors: England, Matthew; Bradford, Russell; Davenport, James H. Journal: Journal of symbolic computation Issue: Volume 100(2020) Page Start: 38 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Editorial Board. (September 2020) Journal: Journal of symbolic computation Issue: Volume 100(2020) Page Start: ii Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. From simplification to a partial theory solver for non-linear real polynomial constraints. (September 2020) Authors: Brown, Christopher W.; Vale-Enriquez, Fernando Journal: Journal of symbolic computation Issue: Volume 100(2020) Page Start: 72 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Fully incremental cylindrical algebraic decomposition. (September 2020) Authors: Kremer, Gereon; Ábrahám, Erika Journal: Journal of symbolic computation Issue: Volume 100(2020) Page Start: 11 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. On conversions from CNF to ANF. (September 2020) Authors: Horáček, Jan; Kreuzer, Martin Journal: Journal of symbolic computation Issue: Volume 100(2020) Page Start: 164 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Symbolic computation and satisfiability checking. (September 2020) Authors: Davenport, James H.; England, Matthew; Griggio, Alberto; Sturm, Thomas; Tinelli, Cesare Journal: Journal of symbolic computation Issue: Volume 100(2020) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗