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 certificate for semidefinite relaxations in computing positive-dimensional real radical ideals. (January 2016) Authors: Ma, Yue; Wang, Chu; Zhi, Lihong Journal: Journal of symbolic computation Issue: Volume 72(2016) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. A certified iterative method for isolated singular roots. (March 2023) Authors: Mantzaflaris, Angelos; Mourrain, Bernard; Szanto, Agnes Journal: Journal of symbolic computation Issue: Volume 115(2023) Page Start: 223 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. A certified numerical algorithm for the topology of resultant and discriminant curves. (May 2017) Authors: Imbach, Rémi; Moroz, Guillaume; Pouget, Marc Journal: Journal of symbolic computation Issue: Volume 80:Part 2(2017) Page Start: 285 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. A combinatorial description of finite O-sequences and aCM genera. (March 2016) Authors: Cioffi, Francesca; Lella, Paolo; Marinari, Maria Grazia Journal: Journal of symbolic computation Issue: Volume 73(2016) Page Start: 104 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. 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) ↗
7. A computable extension for D-finite functions: DD-finite functions. (September 2019) Authors: Jiménez-Pastor, Antonio; Pillwein, Veronika Journal: Journal of symbolic computation Issue: Volume 94(2019) Page Start: 90 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. A condition for multiplicity structure of univariate polynomials. (May 2021) Authors: Hong, Hoon; Yang, Jing Journal: Journal of symbolic computation Issue: Volume 104(2021) Page Start: 523 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. A constructive method for decomposing real representations. (May 2021) Authors: Ali, Sajid; Azad, Hassan; Biswas, Indranil; de Graaf, Willem A. Journal: Journal of symbolic computation Issue: Volume 104(2021) Page Start: 328 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. A difference ring theory for symbolic summation. (January 2016) Authors: Schneider, Carsten Journal: Journal of symbolic computation Issue: Volume 72(2016) Page Start: 82 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗