61. Rational curves over generalized complex numbers. (July 2019) Authors: Du, Juan; Goldman, Ron; Wang, Xuhui Journal: Journal of symbolic computation Issue: Volume 93(2019) Page Start: 56 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
62. Root separation for trinomials. (November 2019) Authors: Koiran, Pascal Journal: Journal of symbolic computation Issue: Volume 95(2019) Page Start: 151 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
63. Semi-automated proof of supercongruences on partial sums of hypergeometric series. (July 2019) Authors: Liu, Ji-Cai Journal: Journal of symbolic computation Issue: Volume 93(2019) Page Start: 221 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
64. Some criteria for Gröbner bases and their applications. (May 2019) Authors: Liu, Jinwang; Li, Dongmei; Liu, Weijun Journal: Journal of symbolic computation Issue: Volume 92(2019) Page Start: 15 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
65. Splitting quaternion algebras over quadratic number fields. (September 2019) Authors: Kutas, Péter Journal: Journal of symbolic computation Issue: Volume 94(2019) Page Start: 173 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
66. Symbolic computation in software science. (January 2019) Authors: Davenport, James Harold; Kutsia, Temur Journal: Journal of symbolic computation Issue: Volume 90(2018) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
67. Symbolic computation on the partition lattice of an n-set. (November 2019) Authors: Li, Yongbin; Fu, Qiuju; Deng, Renbin Journal: Journal of symbolic computation Issue: Volume 95(2019) Page Start: 185 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
68. Symmetric polynomials in tropical algebra semirings. (July 2019) Authors: Kališnik, Sara; Lešnik, Davorin Journal: Journal of symbolic computation Issue: Volume 93(2019) Page Start: 100 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
69. The Bordiga surface as critical locus for 3-view reconstructions. (March 2019) Authors: Bertolini, Marina; Notari, Roberto; Turrini, Cristina Journal: Journal of symbolic computation Issue: Volume 91(2019) Page Start: 74 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
70. The complexity of computing all subfields of an algebraic number field. (July 2019) Authors: Szutkoski, Jonas; van Hoeij, Mark Journal: Journal of symbolic computation Issue: Volume 93(2019) Page Start: 161 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗