91. An isomorphism test for modules over a non-commutative PID. Applications to similarity of Ore polynomials. (July 2016) Authors: Gómez-Torrecillas, José; Lobillo, F.J.; Navarro, Gabriel Journal: Journal of symbolic computation Issue: Volume 75(2016) Page Start: 149 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
92. An unwinding number pair for continuous expressions of integrals. (July 2021) Authors: Moir, Robert H.C.; Corless, Robert M.; Jeffrey, David J. Journal: Journal of symbolic computation Issue: Volume 105(2021) Page Start: 97 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
93. Analytic integrability of quasi-homogeneous systems via the Yoshida method. (May 2021) Authors: García, Belén; Llibre, Jaume; Lombardero, Antón; Pérez del Río, Jesús S. Journal: Journal of symbolic computation Issue: Volume 104(2021) Page Start: 960 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
94. Ancilla-free synthesis of large reversible functions using binary decision diagrams. (March 2016) Authors: Soeken, Mathias; Tague, Laura; Dueck, Gerhard W.; Drechsler, Rolf Journal: Journal of symbolic computation Issue: Volume 73(2016) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
95. Apparent singularities of D-finite systems. (November 2019) Authors: Chen, Shaoshi; Kauers, Manuel; Li, Ziming; Zhang, Yi Journal: Journal of symbolic computation Issue: Volume 95(2019) Page Start: 217 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
96. 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) ↗
97. Approximate square-free part and decomposition. (May 2021) Authors: Nagasaka, Kosaku Journal: Journal of symbolic computation Issue: Volume 104(2021) Page Start: 402 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
98. Associated primes of spline complexes. (September 2016) Authors: DiPasquale, Michael Journal: Journal of symbolic computation Issue: Volume 76(2016) Page Start: 158 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
99. Associated primes of spline complexes. (September 2016) Authors: DiPasquale, Michael Journal: Journal of symbolic computation Issue: Volume 76(2016) Page Start: 158 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
100. Asymptotic r-log-convexity and P-recursive sequences. (July 2019) Authors: Hou, Qing-Hu; Zhang, Zuo-Ru Journal: Journal of symbolic computation Issue: Volume 93(2019) Page Start: 21 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗