1. A census of small transitive groups and vertex-transitive graphs. (November 2020) Authors: Holt, Derek; Royle, Gordon Journal: Journal of symbolic computation Issue: Volume 101(2020) Page Start: 51 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. 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) ↗
3. A symbolic algorithm to compute immersions of polynomial systems into linear ones up to an output injection. (July 2020) Authors: Menini, Laura; Possieri, Corrado; Tornambè, Antonio Journal: Journal of symbolic computation Issue: Volume 99(2020) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. An adaptive prefix-assignment technique for symmetry reduction. (July 2020) Authors: Junttila, Tommi; Karppa, Matti; Kaski, Petteri; Kohonen, Jukka Journal: Journal of symbolic computation Issue: Volume 99(2020) Page Start: 21 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. An algorithm for computing the Hilbert–Samuel multiplicities and reductions of zero-dimensional ideals of Cohen–Macaulay local rings. (January 2020) Authors: Shibuta, Takafumi; Tajima, Shinichi Journal: Journal of symbolic computation Issue: Volume 96(2020) Page Start: 108 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. An approach for computing families of multi-branch-point covers and applications for symplectic Galois groups. (November 2020) Authors: Barth, Dominik; König, Joachim; Wenz, Andreas Journal: Journal of symbolic computation Issue: Volume 101(2020) Page Start: 352 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. An automated study of isoptic curves of an astroid. (March 2020) Authors: Dana-Picard, Thierry Journal: Journal of symbolic computation Issue: Volume 97(2020) Page Start: 56 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. 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) ↗
9. Automated proof of mixed trigonometric-polynomial inequalities. (November 2020) Authors: Chen, Shiping; Liu, Zhong Journal: Journal of symbolic computation Issue: Volume 101(2020) Page Start: 318 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. 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) ↗