51. On the complexity of the F5 Gröbner basis algorithm. (September 2015) Authors: Bardet, Magali; Faugère, Jean-Charles; Salvy, Bruno Journal: Journal of symbolic computation Issue: Volume 70(2015) Page Start: 49 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
52. On the existence of telescopers for mixed hypergeometric terms. (May 2015) Authors: Chen, Shaoshi; Chyzak, Frédéric; Feng, Ruyong; Fu, Guofeng; Li, Ziming Journal: Journal of symbolic computation Issue: Volume 68:Part 1(2015) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
53. On the free resolution induced by a Pommaret basis. (May 2015) Authors: Albert, Mario; Fetzer, Matthias; Sáenz-de-Cabezón, Eduardo; Seiler, Werner M. Journal: Journal of symbolic computation Issue: Volume 68:Part 2(2015) Page Start: 4 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
54. On the length of integers in telescopers for proper hypergeometric terms. (January 2015) Authors: Kauers, Manuel; Yen, Lily Journal: Journal of symbolic computation Issue: Volume 66(2015) Page Start: 21 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
55. Parametrized automata simulation and application to service composition. (July 2015) Authors: Belkhir, Walid; Chevalier, Yannick; Rusinowitch, Michael Journal: Journal of symbolic computation Issue: Volume 69(2015) Page Start: 40 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
56. Point equivalence of second-order ODEs: Maximal invariant classification order. (March 2015) Authors: Milson, Robert; Valiquette, Francis Journal: Journal of symbolic computation Issue: Volume 67(2015) Page Start: 16 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
57. Quantifier elimination for a class of exponential polynomial formulas. (May 2015) Authors: Xu, Ming; Li, Zhi-Bin; Yang, Lu Journal: Journal of symbolic computation Issue: Volume 68:Part 1(2015) Page Start: 146 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
58. Random matrices over a DVR and LU factorization. (November 2015) Authors: Caruso, Xavier Journal: Journal of symbolic computation Issue: Volume 71(2016) Page Start: 98 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
59. 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) ↗
60. 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) ↗