Separating variables in bivariate polynomial ideals

Manfred Buchacher; Manuel Kauers; Gleb Pogudin

doi:10.1145/3373207.3404028

Separating variables in bivariate polynomial ideals

Manfred Buchacher
, Manuel Kauers
, Gleb Pogudin

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

We present an algorithm which for any given ideal I ⊆ K[x, y] finds all elements of I that have the form f(x) - g(y), i.e., all elements in which no monomial is a multiple of xy.

Original language	English
Title of host publication	ISSAC 2020 - Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation
Editors	Angelos Mantzaflaris
Publisher	Association for Computing Machinery
Pages	54-61
Number of pages	8
ISBN (Electronic)	9781450371001
DOIs	https://doi.org/10.1145/3373207.3404028
Publication status	Published - 20 Jul 2020
Event	45th International Symposium on Symbolic and Algebraic Computation, ISSAC 2020 - Kalamata, Virtual, Greece Duration: 20 Jul 2020 → 23 Jul 2020

Publication series

Name	Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Conference

Conference	45th International Symposium on Symbolic and Algebraic Computation, ISSAC 2020
Country/Territory	Greece
City	Kalamata, Virtual
Period	20/07/20 → 23/07/20

Access to Document

10.1145/3373207.3404028

Cite this

Buchacher, M., Kauers, M., & Pogudin, G. (2020). Separating variables in bivariate polynomial ideals. In A. Mantzaflaris (Ed.), ISSAC 2020 - Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation (pp. 54-61). (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC). Association for Computing Machinery. https://doi.org/10.1145/3373207.3404028

Buchacher, Manfred ; Kauers, Manuel ; Pogudin, Gleb. / Separating variables in bivariate polynomial ideals. ISSAC 2020 - Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation. editor / Angelos Mantzaflaris. Association for Computing Machinery, 2020. pp. 54-61 (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

@inproceedings{1ee3bb2b842a409f85cfbaff01d71090,

title = "Separating variables in bivariate polynomial ideals",

abstract = "We present an algorithm which for any given ideal I ⊆ K[x, y] finds all elements of I that have the form f(x) - g(y), i.e., all elements in which no monomial is a multiple of xy.",

author = "Manfred Buchacher and Manuel Kauers and Gleb Pogudin",

note = "Publisher Copyright: {\textcopyright} 2020 ACM.; 45th International Symposium on Symbolic and Algebraic Computation, ISSAC 2020 ; Conference date: 20-07-2020 Through 23-07-2020",

year = "2020",

month = jul,

day = "20",

doi = "10.1145/3373207.3404028",

language = "English",

series = "Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC",

publisher = "Association for Computing Machinery",

pages = "54--61",

editor = "Angelos Mantzaflaris",

booktitle = "ISSAC 2020 - Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation",

}

Buchacher, M, Kauers, M & Pogudin, G 2020, Separating variables in bivariate polynomial ideals. in A Mantzaflaris (ed.), ISSAC 2020 - Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation. Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, Association for Computing Machinery, pp. 54-61, 45th International Symposium on Symbolic and Algebraic Computation, ISSAC 2020, Kalamata, Virtual, Greece, 20/07/20. https://doi.org/10.1145/3373207.3404028

Separating variables in bivariate polynomial ideals. / Buchacher, Manfred; Kauers, Manuel; Pogudin, Gleb.
ISSAC 2020 - Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation. ed. / Angelos Mantzaflaris. Association for Computing Machinery, 2020. p. 54-61 (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Separating variables in bivariate polynomial ideals

AU - Buchacher, Manfred

AU - Kauers, Manuel

AU - Pogudin, Gleb

PY - 2020/7/20

Y1 - 2020/7/20

N2 - We present an algorithm which for any given ideal I ⊆ K[x, y] finds all elements of I that have the form f(x) - g(y), i.e., all elements in which no monomial is a multiple of xy.

AB - We present an algorithm which for any given ideal I ⊆ K[x, y] finds all elements of I that have the form f(x) - g(y), i.e., all elements in which no monomial is a multiple of xy.

U2 - 10.1145/3373207.3404028

DO - 10.1145/3373207.3404028

M3 - Conference contribution

AN - SCOPUS:85090330607

T3 - Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

SP - 54

EP - 61

BT - ISSAC 2020 - Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation

A2 - Mantzaflaris, Angelos

PB - Association for Computing Machinery

T2 - 45th International Symposium on Symbolic and Algebraic Computation, ISSAC 2020

Y2 - 20 July 2020 through 23 July 2020

ER -

Buchacher M, Kauers M, Pogudin G. Separating variables in bivariate polynomial ideals. In Mantzaflaris A, editor, ISSAC 2020 - Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery. 2020. p. 54-61. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC). doi: 10.1145/3373207.3404028

Separating variables in bivariate polynomial ideals

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this