661. Regular expression order-sorted unification and matching. (March 2015) Authors: Kutsia, Temur; Marin, Mircea Journal: Journal of symbolic computation Issue: Volume 67(2015) Page Start: 42 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
662. Regular orbits of finite primitive solvable groups, the final classification. (May 2023) Authors: Holt, Derek; Yang, Yong Journal: Journal of symbolic computation Issue: Volume 116(2023) Page Start: 139 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
663. Relaxed Hensel lifting of triangular sets. (May 2015) Authors: Lebreton, Romain Journal: Journal of symbolic computation Issue: Volume 68:Part 2(2015) Page Start: 230 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
664. Removing apparent singularities of linear difference systems. (January 2021) Authors: Barkatou, Moulay A.; Jaroschek, Maximilian Journal: Journal of symbolic computation Issue: Volume 102(2020) Page Start: 86 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
665. Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution. (May 2017) Authors: Knoop, Jens; Kovács, Laura; Zwirchmayr, Jakob Journal: Journal of symbolic computation Issue: Volume 80:Part 1(2017) Page Start: 101 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
666. Resultant of an equivariant polynomial system with respect to the symmetric group. (September 2016) Authors: Busé, Laurent; Karasoulou, Anna Journal: Journal of symbolic computation Issue: Volume 76(2016) Page Start: 142 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
667. Resultant of an equivariant polynomial system with respect to the symmetric group. (September 2016) Authors: Busé, Laurent; Karasoulou, Anna Journal: Journal of symbolic computation Issue: Volume 76(2016) Page Start: 142 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
668. Resultants over commutative idempotent semirings I: Algebraic aspect. (March 2017) Authors: Hong, Hoon; Kim, Yonggu; Scholten, Georgy; Sendra, J. Rafael Journal: Journal of symbolic computation Issue: Volume 79(2017)Part 2 Page Start: 285 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
669. Revealing regions of multiple steady states in heterogeneous catalytic chemical reaction networks using Gröbner basis. (May 2017) Authors: Méndez González, José Martín Journal: Journal of symbolic computation Issue: Volume 80:Part 3(2017) Page Start: 521 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
670. Revision with probability. (May 2017) Authors: Jiang, Dongchen; Li, Wei Journal: Journal of symbolic computation Issue: Volume 80:Part 1(2017) Page Start: 87 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗