741. On conversions from CNF to ANF. (September 2020) Authors: Horáček, Jan; Kreuzer, Martin Journal: Journal of symbolic computation Issue: Volume 100(2020) Page Start: 164 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
742. On deflation and multiplicity structure. (November 2017) Authors: Hauenstein, Jonathan D.; Mourrain, Bernard; Szanto, Agnes Journal: Journal of symbolic computation Issue: Volume 83(2017) Page Start: 228 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
743. On divisor-closed submonoids and minimal distances in finitely generated monoids. (July 2019) Authors: García-García, J.I.; Marín-Aragón, D.; Moreno-Frías, M.A. Journal: Journal of symbolic computation Issue: Volume 93(2019) Page Start: 230 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
744. On Elkies' method for bounding the transitivity degree of Galois groups. (January 2022) Authors: Barth, Dominik; Wenz, Andreas Journal: Journal of symbolic computation Issue: Volume 108(2022) Page Start: 17 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
745. On Estimating the Linear-by-Linear Parameter for Ordinal Log-Linear Models: A Computational Study. (28th May 2012) Authors: Beh, Eric J.; Farver, Thomas B. Other Names: Allahviranloo T. Academic Editor.; Ruskin H. J. Academic Editor.; Vasconcelos P. B. Academic Editor.; Wang Q.-W. Academic Editor. Journal: ISRN computational mathematics Issue: Volume 2012(2012) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
746. On evaluation codes coming from a tower of function fields. (November 2018) Authors: Carvalho, Cícero; Chara, María; Quoos, Luciane Journal: Journal of symbolic computation Issue: Volume 89(2018) Page Start: 121 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
747. On exact Reznick, Hilbert-Artin and Putinar's representations. (November 2021) Authors: Magron, Victor; Safey El Din, Mohab Journal: Journal of symbolic computation Issue: Volume 107(2021) Page Start: 221 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
748. On full rank differential systems with power series coefficients. (May 2015) Authors: Abramov, S.A.; Barkatou, M.A.; Khmelnov, D.E. Journal: Journal of symbolic computation Issue: Volume 68:Part 1(2015) Page Start: 120 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
749. On Gröbner bases and Krull dimension of residue class rings of polynomial rings over integral domains. (May 2018) Authors: Francis, Maria; Dukkipati, Ambedkar Journal: Journal of symbolic computation Issue: Volume 86(2018) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
750. On initials and the fundamental theorem of tropical partial differential algebraic geometry. (March 2023) Authors: Falkensteiner, Sebastian; Garay-López, Cristhian; Haiech, Mercedes; Noordman, Marc Paul; Boulier, François; Toghani, Zeinab Journal: Journal of symbolic computation Issue: Volume 115(2023) Page Start: 53 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗