451. Invariant algebraic sets and symmetrization of polynomial systems. (November 2019) Authors: Hubert, Evelyne Journal: Journal of symbolic computation Issue: Volume 95(2019) Page Start: 53 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
452. Isoclinism of crossed modules. (May 2016) Authors: Odabaş, A.; Uslu, E.Ö.; Ilgaz, E. Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 408 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
453. Isoclinism of crossed modules. (May 2016) Authors: Odabaş, A.; Uslu, E.Ö.; Ilgaz, E. Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 408 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
454. Knapsack problems in products of groups. (May 2016) Authors: Frenkel, Elizaveta; Nikolaev, Andrey; Ushakov, Alexander Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 96 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
455. Knapsack problems in products of groups. (May 2016) Authors: Frenkel, Elizaveta; Nikolaev, Andrey; Ushakov, Alexander Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 96 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
456. KP solitons from tropical limits. (January 2023) Authors: Agostini, Daniele; Fevola, Claudia; Mandelshtam, Yelena; Sturmfels, Bernd Journal: Journal of symbolic computation Issue: Volume 114(2023) Page Start: 282 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
457. Krandick's proof of Lagrange's real root bound claim. (September 2015) Authors: Collins, George E. Journal: Journal of symbolic computation Issue: Volume 70(2015) Page Start: 106 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
458. Krandick's proof of Lagrange's real root bound claim. (September 2015) Authors: Collins, George E. Journal: Journal of symbolic computation Issue: Volume 70(2015) Page Start: 106 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
459. Learning-assisted theorem proving with millions of lemmas. (July 2015) Authors: Kaliszyk, Cezary; Urban, Josef Journal: Journal of symbolic computation Issue: Volume 69(2015) Page Start: 109 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
460. Lexicographic and reverse lexicographic quadratic Gröbner bases of cut ideals. (March 2021) Authors: Sakamoto, Ryuichi Journal: Journal of symbolic computation Issue: Volume 103(2021) Page Start: 201 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗