131. Random sampling in computational algebra: Helly numbers and violator spaces. (November 2016) Authors: De Loera, Jesús A.; Petrović, Sonja; Stasi, Despina Journal: Journal of symbolic computation Issue: Volume 77(2016) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
132. Rational curves on Calabi–Yau threefolds: Verifying mirror symmetry predictions. (September 2016) Authors: Hiep, Dang Tuan Journal: Journal of symbolic computation Issue: Volume 76(2016) Page Start: 65 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
133. Rational curves on Calabi–Yau threefolds: Verifying mirror symmetry predictions. (September 2016) Authors: Hiep, Dang Tuan Journal: Journal of symbolic computation Issue: Volume 76(2016) Page Start: 65 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
134. Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation). (July 2016) Authors: Eraşcu, Mădălina; Hong, Hoon Journal: Journal of symbolic computation Issue: Volume 75(2016) Page Start: 110 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
135. Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation). (July 2016) Authors: Eraşcu, Mădălina; Hong, Hoon Journal: Journal of symbolic computation Issue: Volume 75(2016) Page Start: 110 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
136. Real root finding for determinants of linear matrices. (May 2016) Authors: Henrion, Didier; Naldi, Simone; Safey El Din, Mohab Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 205 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
137. Real root finding for determinants of linear matrices. (May 2016) Authors: Henrion, Didier; Naldi, Simone; Safey El Din, Mohab Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 205 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
138. Recognizing implicitly given rational canal surfaces. (May 2016) Authors: Vršek, Jan; Lávička, Miroslav Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 367 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
139. Recognizing implicitly given rational canal surfaces. (May 2016) Authors: Vršek, Jan; Lávička, Miroslav Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 367 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
140. Refined algorithms to compute syzygies. (May 2016) Authors: Eröcal, Burçin; Motsak, Oleksandr; Schreyer, Frank-Olaf; Steenpaß, Andreas Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 308 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗