1. A generalisation of Miller's algorithm and applications to pairing computations on abelian varieties. (March 2015) Authors: Lubicz, David; Robert, Damien Journal: Journal of symbolic computation Issue: Volume 67(2015) Page Start: 68 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Bottom-up rewriting for words and terms. (March 2015) Authors: Durand, I.; Sénizergues, G. Journal: Journal of symbolic computation Issue: Volume 67(2015) Page Start: 93 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Editorial Board. (March 2015) Journal: Journal of symbolic computation Issue: Volume 67(2015) Page Start: IFC Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Editorial Board. (March 2015) Journal: Journal of symbolic computation Issue: Volume 67(2015) Page Start: IFC Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. 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) ↗
6. 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) ↗
7. Weight ideals associated to regular and log-linear arrays. (March 2015) Authors: Johnson, Jeremiah W. Journal: Journal of symbolic computation Issue: Volume 67(2015) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗