621. 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) ↗
622. 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) ↗
623. 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) ↗
624. 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) ↗
625. 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) ↗
626. Q-Gosper algorithm and simple Bailey pairs. (November 2022) Authors: Bian, Ke-Xin; Liu, Yue; Mu, Yan-Ping Journal: Journal of symbolic computation Issue: Volume 113(2022) Page Start: 39 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
627. Q-Rational reduction and q-analogues of series for π. (May 2023) Authors: Wang, Rong-Hua; Zhong, Michael X.X. Journal: Journal of symbolic computation Issue: Volume 116(2023) Page Start: 58 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
628. QFunctions – A Mathematica package for q-series and partition theory applications. (November 2021) Authors: Ablinger, Jakob; Uncu, Ali Kemal Journal: Journal of symbolic computation Issue: Volume 107(2021) Page Start: 145 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
629. Quadratic 2-step Lie algebras: Computational algorithms and classification. (September 2019) Authors: Benito, Pilar; de-la-Concepción, Daniel; Roldán-López, Jorge; Sesma, Iciar Journal: Journal of symbolic computation Issue: Volume 94(2019) Page Start: 70 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
630. Quality of positive root bounds. (May 2016) Authors: Herman, Aaron; Hong, Hoon Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 592 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗