Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema

Alexander Maletzky; Bruno Buchberger

doi:10.1007/978-3-662-44199-2_8

Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema

Alexander Maletzky
, Bruno Buchberger

Research Institute for Symbolic Computation

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

Original language	English
Title of host publication	Mathematical Software - ICMS 2014
Editors	Chee Yap and Hoon Hong
Pages	41-48
Number of pages	8
Volume	8592
DOIs	https://doi.org/10.1007/978-3-662-44199-2_8
Publication status	Published - 2014

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8592 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

JKU Focus areas

Computation in Informatics and Mathematics

Access to Document

10.1007/978-3-662-44199-2_8

Cite this

Maletzky, A., & Buchberger, B. (2014). Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema. In Chee Yap and Hoon Hong (Ed.), Mathematical Software - ICMS 2014 (Vol. 8592, pp. 41-48). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8592 LNCS). https://doi.org/10.1007/978-3-662-44199-2_8

@inproceedings{2704484491704965bd49051a8e97922f,

title = "Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema",

author = "Alexander Maletzky and Bruno Buchberger",

year = "2014",

doi = "10.1007/978-3-662-44199-2\_8",

language = "English",

isbn = "978-3-662-44198-5",

volume = "8592",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "41--48",

editor = "\{Chee Yap and Hoon Hong\}",

booktitle = "Mathematical Software - ICMS 2014",

}

Maletzky, A & Buchberger, B 2014, Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema. in Chee Yap and Hoon Hong (ed.), Mathematical Software - ICMS 2014. vol. 8592, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8592 LNCS, pp. 41-48. https://doi.org/10.1007/978-3-662-44199-2_8

Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema. / Maletzky, Alexander; Buchberger, Bruno.
Mathematical Software - ICMS 2014. ed. / Chee Yap and Hoon Hong. Vol. 8592 2014. p. 41-48 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8592 LNCS).

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

TY - GEN

T1 - Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema

AU - Maletzky, Alexander

AU - Buchberger, Bruno

PY - 2014

Y1 - 2014

UR - http://www.springer.com/computer/theoretical+computer+science/book/978-3-662-44198-5

U2 - 10.1007/978-3-662-44199-2_8

DO - 10.1007/978-3-662-44199-2_8

M3 - Conference proceedings

SN - 978-3-662-44198-5

VL - 8592

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 41

EP - 48

BT - Mathematical Software - ICMS 2014

A2 - Chee Yap and Hoon Hong, null

ER -

Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this