441. Improving root separation bounds. (January 2018) Authors: Herman, Aaron; Hong, Hoon; Tsigaridas, Elias Journal: Journal of symbolic computation Issue: Volume 84(2018) Page Start: 25 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
442. In-depth comparison of the Berlekamp–Massey–Sakata and the Scalar-FGLM algorithms: The adaptive variants. (November 2020) Authors: Berthomieu, Jérémy; Faugère, Jean-Charles Journal: Journal of symbolic computation Issue: Volume 101(2020) Page Start: 270 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
443. Initial steps in the classification of maximal mediated sets. (March 2022) Authors: Hartzer, Jacob; Röhrig, Olivia; de Wolff, Timo; Yürük, Oğuzhan Journal: Journal of symbolic computation Issue: Volume 109(2022) Page Start: 404 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
444. Integrability test for evolutionary lattice equations of higher order. (May 2016) Authors: Adler, V.E. Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 125 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
445. Integrability test for evolutionary lattice equations of higher order. (May 2016) Authors: Adler, V.E. Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 125 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
446. Integral Hodge conjecture for Fermat varieties. (November 2019) Authors: Aljovin, Enzo; Movasati, Hossein; Villaflor Loyola, Roberto Journal: Journal of symbolic computation Issue: Volume 95(2019) Page Start: 177 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
447. Integrality and arithmeticity of solvable linear groups. (May 2015) Authors: Detinko, A.S.; Flannery, D.L.; de Graaf, W.A. Journal: Journal of symbolic computation Issue: Volume 68:Part 1(2015) Page Start: 138 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
448. Integration in finite terms with dilogarithmic integrals, logarithmic integrals and error functions. (September 2019) Authors: Kaur, Yashpreet; Srinivasan, Varadharaj R. Journal: Journal of symbolic computation Issue: Volume 94(2019) Page Start: 210 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
449. Intruder deducibility constraints with negation. Decidability and application to secured service compositions. (May 2017) Authors: Avanesov, Tigran; Chevalier, Yannick; Rusinowitch, Michael; Turuani, Mathieu Journal: Journal of symbolic computation Issue: Volume 80:Part 1(2017) Page Start: 4 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
450. Invariant algebraic sets and symmetrization of polynomial systems. (November 2019) Authors: Hubert, Evelyne Journal: Journal of symbolic computation Issue: Volume 95(2019) Page Start: 53 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗