121. 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) ↗
122. 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) ↗
123. 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) ↗
124. 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) ↗
125. 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) ↗
126. Quantifier elimination by cylindrical algebraic decomposition based on regular chains. (July 2016) Authors: Chen, Changbo; Moreno Maza, Marc Journal: Journal of symbolic computation Issue: Volume 75(2016) Page Start: 74 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
127. Quantifier elimination by cylindrical algebraic decomposition based on regular chains. (July 2016) Authors: Chen, Changbo; Moreno Maza, Marc Journal: Journal of symbolic computation Issue: Volume 75(2016) Page Start: 74 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
128. Quantum Fourier transform over symmetric groups — improved result. (July 2016) Authors: Kawano, Yasuhito; Sekigawa, Hiroshi Journal: Journal of symbolic computation Issue: Volume 75(2016) Page Start: 219 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
129. Quantum Fourier transform over symmetric groups — improved result. (July 2016) Authors: Kawano, Yasuhito; Sekigawa, Hiroshi Journal: Journal of symbolic computation Issue: Volume 75(2016) Page Start: 219 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
130. 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) ↗