661. Refined algorithms to compute syzygies. (May 2016) Authors: Eröcal, Burçin; Motsak, Oleksandr; Schreyer, Frank-Olaf; Steenpaß, Andreas Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 308 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
662. Refined algorithms to compute syzygies. (May 2016) Authors: Eröcal, Burçin; Motsak, Oleksandr; Schreyer, Frank-Olaf; Steenpaß, Andreas Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 308 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
663. 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) ↗
664. 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) ↗
665. 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) ↗
666. 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) ↗
667. 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) ↗
668. 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) ↗
669. 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) ↗
670. 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) ↗