591. 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) ↗
592. 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) ↗
593. 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) ↗
594. 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) ↗
595. 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) ↗
596. Interaction of Aβ1−42 chains and fibrillary seeds studied by all‐atom molecular dynamics simulations. Issue 6 (16th December 2020) Authors: Dorosh, Lyudmyla; Wu, Min; Stepanova, Maria 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) ↗
597. Internal Synchronization Using Adaptive Control. (9th September 2022) Authors: Shahzad, Mohammad; Raziuddin, Mohammed; Naheed, Mohammed Other Names: Zhang Chunrui Academic Editor. Journal: Computational and mathematical methods Issue: (2022) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
598. Introducing randomness in the analysis of chemical reactions: An analysis based on random differential equations and probability density functions. Issue 6 (29th December 2020) Authors: Cortés, Juan‐Carlos; Navarro‐Quiles, Ana; Romero, José‐Vicente; Roselló, María‐Dolores 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) ↗
599. 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) ↗
600. 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) ↗