451. 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) ↗
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. 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) ↗
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. 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) ↗
456. 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) ↗
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. 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) ↗
459. 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) ↗
460. Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one. (May 2022) Authors: Dahan, Xavier Journal: Journal of symbolic computation Issue: Volume 110(2022) Page Start: 24 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗