161. The classification of real singularities using Singular. Part II: The structure of the equivalence classes of the unimodal singularities. (May 2016) Authors: Marais, Magdaleen S.; Steenpaß, Andreas Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 346 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
162. The classification of real singularities using Singular. Part II: The structure of the equivalence classes of the unimodal singularities. (May 2016) Authors: Marais, Magdaleen S.; Steenpaß, Andreas Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 346 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
163. The power of pyramid decomposition in Normaliz. (May 2016) Authors: Bruns, Winfried; Ichim, Bogdan; Söger, Christof Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 513 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
164. The power of pyramid decomposition in Normaliz. (May 2016) Authors: Bruns, Winfried; Ichim, Bogdan; Söger, Christof Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 513 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
165. The prompter method: A treatment for hard-to-solve iterative functional equations. (July 2016) Authors: Izumi, Hideaki Journal: Journal of symbolic computation Issue: Volume 75(2016) Page Start: 193 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
166. The prompter method: A treatment for hard-to-solve iterative functional equations. (July 2016) Authors: Izumi, Hideaki Journal: Journal of symbolic computation Issue: Volume 75(2016) Page Start: 193 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
167. Third-order ordinary differential equations equivalent to linear second-order ordinary differential equations via tangent transformations. (November 2016) Authors: Nakpim, Warisa Journal: Journal of symbolic computation Issue: Volume 77(2016) Page Start: 63 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
168. Third-order ordinary differential equations equivalent to linear second-order ordinary differential equations via tangent transformations. (November 2016) Authors: Nakpim, Warisa Journal: Journal of symbolic computation Issue: Volume 77(2016) Page Start: 63 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
169. Truth table invariant cylindrical algebraic decomposition. (September 2016) Authors: Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David Journal: Journal of symbolic computation Issue: Volume 76(2016) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
170. Truth table invariant cylindrical algebraic decomposition. (September 2016) Authors: Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David Journal: Journal of symbolic computation Issue: Volume 76(2016) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗