671. Robust toric ideals. (May 2015) Authors: Boocher, Adam; Robeva, Elina Journal: Journal of symbolic computation Issue: Volume 68:Part 1(2015) Page Start: 254 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
672. Root separation for trinomials. (November 2019) Authors: Koiran, Pascal Journal: Journal of symbolic computation Issue: Volume 95(2019) Page Start: 151 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
673. Satisfiability of general intruder constraints with and without a set constructor. (May 2017) Authors: Avanesov, Tigran; Chevalier, Yannick; Rusinowitch, Michael; Turuani, Mathieu Journal: Journal of symbolic computation Issue: Volume 80:Part 1(2017) Page Start: 27 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
674. Saturations of subalgebras, SAGBI bases, and U-invariants. (March 2022) Authors: Bigatti, Anna Maria; Robbiano, Lorenzo Journal: Journal of symbolic computation Issue: Volume 109(2022) Page Start: 259 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
675. Schur apolarity. (January 2023) Authors: Staffolani, Reynaldo Journal: Journal of symbolic computation Issue: Volume 114(2023) Page Start: 37 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
676. Semi-automated proof of supercongruences on partial sums of hypergeometric series. (July 2019) Authors: Liu, Ji-Cai Journal: Journal of symbolic computation Issue: Volume 93(2019) Page Start: 221 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
677. Semi-automated verification of security proofs of quantum cryptographic protocols. (March 2016) Authors: Kubota, Takahiro; Kakutani, Yoshihiko; Kato, Go; Kawano, Yasuhito; Sakurada, Hideki Journal: Journal of symbolic computation Issue: Volume 73(2016) Page Start: 192 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
678. Semialgebraic sets and real binary forms decompositions. (November 2021) Authors: Ansola, M.; Díaz-Cano, A.; Zurro, M.A. Journal: Journal of symbolic computation Issue: Volume 107(2021) Page Start: 209 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
679. Separating inequalities for nonnegative polynomials that are not sums of squares. (May 2015) Authors: Iliman, Sadik; de Wolff, Timo Journal: Journal of symbolic computation Issue: Volume 68:Part 2(2015) Page Start: 181 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
680. Separating linear forms and Rational Univariate Representations of bivariate systems. (May 2015) Authors: Bouzidi, Yacine; Lazard, Sylvain; Pouget, Marc; Rouillier, Fabrice Journal: Journal of symbolic computation Issue: Volume 68:Part 1(2015) Page Start: 84 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗