Strzeboński, Adam Cylindrical decomposition for systems transcendental in the first variable. (English) Zbl 1236.14053 J. Symb. Comput. 46, No. 11, 1284-1290 (2011). Reviewer: Carlos D’Andrea (Barcelona) MSC: 14Q99 14P15 68W30 PDFBibTeX XMLCite \textit{A. Strzeboński}, J. Symb. Comput. 46, No. 11, 1284--1290 (2011; Zbl 1236.14053) Full Text: DOI
De Loera, Jesús A.; Lee, Jon; Malkin, Peter N.; Margulies, Susan Computing infeasibility certificates for combinatorial problems through Hilbert’s Nullstellensatz. (English) Zbl 1247.13026 J. Symb. Comput. 46, No. 11, 1260-1283 (2011). Reviewer: Yukihide Takayama (Shiga) MSC: 13P15 68W30 05C15 PDFBibTeX XMLCite \textit{J. A. De Loera} et al., J. Symb. Comput. 46, No. 11, 1260--1283 (2011; Zbl 1247.13026) Full Text: DOI
Giesbrecht, Mark; Roche, Daniel S. Detecting lacunary perfect powers and computing their roots. (English) Zbl 1233.13011 J. Symb. Comput. 46, No. 11, 1242-1259 (2011). Reviewer: Paolo Lella (Torino) MSC: 13P05 13F20 11C08 PDFBibTeX XMLCite \textit{M. Giesbrecht} and \textit{D. S. Roche}, J. Symb. Comput. 46, No. 11, 1242--1259 (2011; Zbl 1233.13011) Full Text: DOI
Blanco, Rocío; Encinas, Santiago Embedded desingularization of toric varieties. (English) Zbl 1231.14008 J. Symb. Comput. 46, No. 11, 1229-1241 (2011). Reviewer: Augusto Nobile (Baton Rouge) MSC: 14E15 14M25 14J17 14E99 PDFBibTeX XMLCite \textit{R. Blanco} and \textit{S. Encinas}, J. Symb. Comput. 46, No. 11, 1229--1241 (2011; Zbl 1231.14008) Full Text: DOI arXiv
Abramov, S. A.; Barkatou, M. A.; Van Hoeij, M.; Petkovšek, M. Subanalytic solutions of linear difference equations and multidimensional hypergeometric sequences. (English) Zbl 1232.39001 J. Symb. Comput. 46, No. 11, 1205-1228 (2011). Reviewer: Lothar Berg (Rostock) MSC: 39A06 39A14 30D20 65Q10 PDFBibTeX XMLCite \textit{S. A. Abramov} et al., J. Symb. Comput. 46, No. 11, 1205--1228 (2011; Zbl 1232.39001) Full Text: DOI
Levandovskyy, Viktor; Zerz, Eva; Schindelar, Kristina Exact linear modeling using Ore algebras. (English) Zbl 1237.93041 J. Symb. Comput. 46, No. 11, 1189-1204 (2011). MSC: 93B25 13P10 16Z05 68W30 93A30 PDFBibTeX XMLCite \textit{V. Levandovskyy} et al., J. Symb. Comput. 46, No. 11, 1189--1204 (2011; Zbl 1237.93041) Full Text: DOI arXiv