141. 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) ↗
142. Resultant of an equivariant polynomial system with respect to the symmetric group. (September 2016) Authors: Busé, Laurent; Karasoulou, Anna Journal: Journal of symbolic computation Issue: Volume 76(2016) Page Start: 142 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
143. Resultant of an equivariant polynomial system with respect to the symmetric group. (September 2016) Authors: Busé, Laurent; Karasoulou, Anna Journal: Journal of symbolic computation Issue: Volume 76(2016) Page Start: 142 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
144. 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) ↗
145. Shortest division chains in unique factorization domains. (November 2016) Authors: Vaskouski, Maksim; Kondratyonok, Nikita Journal: Journal of symbolic computation Issue: Volume 77(2016) Page Start: 175 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
146. Shortest division chains in unique factorization domains. (November 2016) Authors: Vaskouski, Maksim; Kondratyonok, Nikita Journal: Journal of symbolic computation Issue: Volume 77(2016) Page Start: 175 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
147. Solution of a quadratic quaternion equation with mixed coefficients. (May 2016) Authors: Farouki, Rida T.; Gentili, Graziano; Giannelli, Carlotta; Sestini, Alessandra; Stoppato, Caterina Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 140 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
148. Solution of a quadratic quaternion equation with mixed coefficients. (May 2016) Authors: Farouki, Rida T.; Gentili, Graziano; Giannelli, Carlotta; Sestini, Alessandra; Stoppato, Caterina Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 140 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
149. Solving a sparse system using linear algebra. (March 2016) Authors: Massri, César Journal: Journal of symbolic computation Issue: Volume 73(2016) Page Start: 157 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
150. Sparse multivariate function recovery with a small number of evaluations. (July 2016) Authors: Kaltofen, Erich L.; Yang, Zhengfeng Journal: Journal of symbolic computation Issue: Volume 75(2016) Page Start: 209 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗