651. Probabilistic analysis of Wiedemann's algorithm for minimal polynomial computation. (May 2016) Authors: Harrison, Gavin; Johnson, Jeremy; Saunders, B. David Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 55 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
652. Projective and affine symmetries and equivalences of rational curves in arbitrary dimension. (July 2018) Authors: Hauer, Michael; Jüttler, Bert Journal: Journal of symbolic computation Issue: Volume 87(2018) Page Start: 68 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
653. Prony's method in several variables: Symbolic solutions by universal interpolation. (January 2018) Authors: Sauer, Tomas Journal: Journal of symbolic computation Issue: Volume 84(2018) Page Start: 95 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
654. Proof of a supercongruence via the Wilf–Zeilberger method. (November 2021) Authors: Mao, Guo-Shuai Journal: Journal of symbolic computation Issue: Volume 107(2021) Page Start: 269 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
655. Proof of the BMR conjecture for G20 and G21. (May 2019) Authors: Marin, Ivan Journal: Journal of symbolic computation Issue: Volume 92(2019) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
656. Proof of the Wilf–Zeilberger conjecture for mixed hypergeometric terms. (July 2019) Authors: Chen, Shaoshi; Koutschan, Christoph Journal: Journal of symbolic computation Issue: Volume 93(2019) Page Start: 133 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
657. Proofs of five conjectures on matching coefficients of Baruah, Das and Schlosser by an algorithmic approach. (May 2023) Authors: Du, Julia Q.D.; Tang, Dazhao Journal: Journal of symbolic computation Issue: Volume 116(2023) Page Start: 213 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
658. Propagating weights of tori along free resolutions. (May 2016) Authors: Galetto, Federico Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
659. Propagating weights of tori along free resolutions. (May 2016) Authors: Galetto, Federico Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
660. Proving inequalities and solving global optimization problems via simplified CAD projection. (January 2016) Authors: Han, Jingjun; Jin, Zhi; Xia, Bican Journal: Journal of symbolic computation Issue: Volume 72(2016) Page Start: 206 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗