71. Synthesis of list algorithms by mechanical proving. (July 2015) Authors: Drămnesc, Isabela; Jebelean, Tudor Journal: Journal of symbolic computation Issue: Volume 69(2015) Page Start: 61 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
72. Systems of equations with a single solution. (May 2015) Authors: Esterov, Alexander; Gusev, Gleb Journal: Journal of symbolic computation Issue: Volume 68:Part 2(2015) Page Start: 116 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
73. Term-ordering free involutive bases. (May 2015) Authors: Ceria, Michela; Mora, Teo; Roggero, Margherita Journal: Journal of symbolic computation Issue: Volume 68:Part 2(2015) Page Start: 87 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
74. The classification of real singularities using Singular Part I: Splitting Lemma and simple singularities. (May 2015) Authors: Marais, Magdaleen S.; Steenpaß, Andreas Journal: Journal of symbolic computation Issue: Volume 68:Part 1(2015) Page Start: 61 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
75. The computation of generalized Ehrhart series in Normaliz. (May 2015) Authors: Bruns, Winfried; Söger, Christof Journal: Journal of symbolic computation Issue: Volume 68:Part 2(2015) Page Start: 75 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
76. The Rees Algebra of a monomial plane parametrization. (September 2015) Authors: Cortadellas Benítez, Teresa; D'Andrea, Carlos Journal: Journal of symbolic computation Issue: Volume 70(2015) Page Start: 71 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
77. The theory of bonds II: Closed 6R linkages with maximal genus. (May 2015) Authors: Hegedüs, Gábor; Li, Zijia; Schicho, Josef; Schröcker, Hans-Peter Journal: Journal of symbolic computation Issue: Volume 68:Part 2(2015) Page Start: 167 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
78. The three-state toric homogeneous Markov chain model has Markov degree two. (May 2015) Authors: Norén, Patrik Journal: Journal of symbolic computation Issue: Volume 68:Part 2(2015) Page Start: 285 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
79. Towards semantic mathematical editing. (November 2015) Authors: van der Hoeven, Joris Journal: Journal of symbolic computation Issue: Volume 71(2016) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
80. Triangular systems and a generalization of primitive polynomials. (May 2015) Authors: Angermüller, Gerhard Journal: Journal of symbolic computation Issue: Volume 68:Part 1(2015) Page Start: 316 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗