701. 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) ↗
702. 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) ↗
703. 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) ↗
704. 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) ↗
705. 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) ↗
706. 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) ↗
707. 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) ↗
708. 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) ↗
709. 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) ↗
710. Robust toric ideals. (May 2015) Authors: Boocher, Adam; Robeva, Elina Journal: Journal of symbolic computation Issue: Volume 68:Part 1(2015) Page Start: 254 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗