31. A fractional model of Casson fluid with ramped wall temperature: Engineering applications of engine oil. Issue 6 (25th May 2021) Authors: Arif, Muhammad; Kumam, Poom; Kumam, Wiyada; Khan, Ilyas; Ramzan, Muhammad Journal: Computational and mathematical methods Issue: Volume 3:Issue 6(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
32. A general framework for Noetherian well ordered polynomial reductions. (November 2019) Authors: Ceria, Michela; Mora, Teo; Roggero, Margherita Journal: Journal of symbolic computation Issue: Volume 95(2019) Page Start: 100 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
33. A general representation for the Green's function of second‐order nonlinear differential equations. Issue 4 (16th May 2019) Authors: Frasca, Marco; Khurshudyan, Asatur Zh. Journal: Computational and mathematical methods Issue: Volume 1:Issue 4(2019) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
34. A generalisation of Miller's algorithm and applications to pairing computations on abelian varieties. (March 2015) Authors: Lubicz, David; Robert, Damien Journal: Journal of symbolic computation Issue: Volume 67(2015) Page Start: 68 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
35. A generalization of the Katzman-Zhang algorithm. (March 2021) Authors: Yeşil, Mehmet Journal: Journal of symbolic computation Issue: Volume 103(2021) Page Start: 213 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
36. A generic and executable formalization of signature-based Gröbner basis algorithms. (September 2021) Authors: Maletzky, Alexander Journal: Journal of symbolic computation Issue: Volume 106(2021) Page Start: 23 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
37. A generic framework for symbolic execution: A coinductive approach. (May 2017) Authors: Lucanu, Dorel; Rusu, Vlad; Arusoaie, Andrei Journal: Journal of symbolic computation Issue: Volume 80:Part 1(2017) Page Start: 125 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
38. A generic position based method for real root isolation of zero-dimensional polynomial systems. (May 2015) Authors: Cheng, Jin-San; Jin, Kai Journal: Journal of symbolic computation Issue: Volume 68:Part 1(2015) Page Start: 204 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
39. A Henneberg-based algorithm for generating tree-decomposable minimally rigid graphs. (March 2017) Authors: Hidalgo, Marta R.; Joan-Arinyo, Robert Journal: Journal of symbolic computation Issue: Volume 79(2017)Part 2 Page Start: 232 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
40. A high‐order numerical method for sediment transport problems simulation and its comparison with laboratory experiments. Issue 6 (23rd February 2021) Authors: Capilla Romá, María Teresa; Balaguer‐Beser, Angel; Nácher‐Rodríguez, Beatriz; Vallés‐Morán, Francisco J. Journal: Computational and mathematical methods Issue: Volume 3:Issue 6(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗