Autor:	Alexander Maletzky
Rok vydání:	2019
Předmět:	Discrete mathematics Mathematics::Commutative Algebra Degree (graph theory) Computer Science::Logic in Computer Science Computer Science::Mathematical Software HOL Computer Science::Symbolic Computation Multivariate polynomials Mathematics
Zdroj:	Lecture Notes in Computer Science ISBN: 9783030232498 CICM
Popis:	We present an Isabelle/HOL formalization of certain upper bounds on the degrees of Grobner bases in multivariate polynomial rings over fields, due to Dube. These bounds are not only of theoretical interest, but can also be used for computing Grobner bases by row-reducing Macaulay matrices.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::1662eee8afe86b15430eed824a58c6fc https://doi.org/10.1007/978-3-030-23250-4_11 Zobrazit plný text záznamu