861. 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) ↗
862. 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) ↗
863. 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) ↗
864. 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) ↗
865. 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) ↗
866. 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) ↗
867. Proposition of a new index for projection pursuit in the multiple factor analysis. Issue 4 (28th December 2020) Authors: Ossani, Paulo César; Figueira Ramos, Mariana; Cirillo, Marcelo Ângelo Journal: Computational and mathematical methods Issue: Volume 3:Issue 4(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
868. 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) ↗
869. PTOPO: Computing the geometry and the topology of parametric curves. (March 2023) Authors: Katsamaki, Christina; Rouillier, Fabrice; Tsigaridas, Elias; Zafeirakopoulos, Zafeirakis Journal: Journal of symbolic computation Issue: Volume 115(2023) Page Start: 427 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
870. Pullback attractor for the three dimensional nonautonomous primitive equations of large‐scale ocean and atmosphere dynamics. Issue 2 (7th November 2019) Authors: You, Bo Journal: Computational and mathematical methods Issue: Volume 2:Issue 2(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗