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. A generic position based method for real root isolation of zero-dimensional polynomial systems. (May 2015) Authors: Cheng, Jin-San; Jin, Kai Journal: Journal of symbolic computation Issue: Volume 68:Part 1(2015) Page Start: 204 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. A practical model for computation with matrix groups. (May 2015) Authors: Bäärnhielm, Henrik; Holt, Derek; Leedham-Green, C.R.; O'Brien, E.A. Journal: Journal of symbolic computation Issue: Volume 68:Part 1(2015) Page Start: 27 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. A Wronskian approach to the real τ-conjecture. (May 2015) Authors: Koiran, Pascal; Portier, Natacha; Tavenas, Sébastien Journal: Journal of symbolic computation Issue: Volume 68:Part 2(2015) Page Start: 195 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Algorithms for Mumford curves. (May 2015) Authors: Morrison, Ralph; Ren, Qingchun Journal: Journal of symbolic computation Issue: Volume 68:Part 2(2015) Page Start: 259 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. An algorithm for computing mixed sums of products of Bernoulli polynomials and Euler polynomials. (January 2015) Authors: Feng, Lei; Wang, Weiping Journal: Journal of symbolic computation Issue: Volume 66(2015) Page Start: 84 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. An algorithm to compute the Hilbert depth. (January 2015) Authors: Popescu, Adrian Journal: Journal of symbolic computation Issue: Volume 66(2015) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. An algorithmic approach to Ramanujan–Kolberg identities. (May 2015) Authors: Radu, Cristian-Silviu Journal: Journal of symbolic computation Issue: Volume 68:Part 1(2015) Page Start: 225 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Beyond polynomials and Peano arithmetic—automation of elementary and ordinal interpretations. (July 2015) Authors: Zankl, Harald; Winkler, Sarah; Middeldorp, Aart Journal: Journal of symbolic computation Issue: Volume 69(2015) Page Start: 129 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. 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) ↗