Groebner Bases in Theorema

Bruno Buchberger; Alexander Maletzky

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

Groebner Bases in Theorema

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
Publisher	Springer Berlin Heidelberg
Pages	374-381
Number of pages	8
Volume	8592
ISBN (Print)	978-3-662-44198-5
DOIs	https://doi.org/10.1007/978-3-662-44199-2_58
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_58

Cite this

Buchberger, B., & Maletzky, A. (2014). Groebner Bases in Theorema. In Chee Yap and Hoon Hong (Ed.), Mathematical Software - ICMS 2014 (Vol. 8592, pp. 374-381). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8592 LNCS). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-44199-2_58

@inproceedings{87de78f45c904948a04c255fade72d5b,

title = "Groebner Bases in Theorema",

author = "Bruno Buchberger and Alexander Maletzky",

year = "2014",

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

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)",

publisher = "Springer Berlin Heidelberg",

pages = "374--381",

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

booktitle = "Mathematical Software - ICMS 2014",

}

Buchberger, B & Maletzky, A 2014, Groebner Bases 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, Springer Berlin Heidelberg, pp. 374-381. https://doi.org/10.1007/978-3-662-44199-2_58

Groebner Bases in Theorema. / Buchberger, Bruno; Maletzky, Alexander.
Mathematical Software - ICMS 2014. ed. / Chee Yap and Hoon Hong. Vol. 8592 Springer Berlin Heidelberg, 2014. p. 374-381 (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 - Groebner Bases in Theorema

AU - Buchberger, Bruno

AU - Maletzky, Alexander

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_58

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

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 - 374

EP - 381

BT - Mathematical Software - ICMS 2014

A2 - Chee Yap and Hoon Hong, null

PB - Springer Berlin Heidelberg

ER -

Groebner Bases in Theorema

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this