Stam's Identities Collection: A Case Study for Math Knowledge Bases

Bruno Buchberger

doi:10.1007/978-3-319-42432-3_55

Stam's Identities Collection: A Case Study for Math Knowledge Bases

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 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
Editors	Gert-Martin Greuel, Andrew Sommese, Thorsten Koch, Peter Paule
Place of Publication	Cham
Publisher	Springer International Publishing
Pages	437-442
Number of pages	6
ISBN (Print)	978-3-319-42432-3
DOIs	https://doi.org/10.1007/978-3-319-42432-3_55
Publication status	Published - 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9725
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-319-42432-3_55

Cite this

Buchberger, B. (2016). Stam's Identities Collection: A Case Study for Math Knowledge Bases. In G.-M. Greuel, A. Sommese, T. Koch, & P. Paule (Eds.), Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings (pp. 437-442). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9725). Springer International Publishing. https://doi.org/10.1007/978-3-319-42432-3_55

Buchberger, Bruno. / Stam's Identities Collection: A Case Study for Math Knowledge Bases. Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. editor / Gert-Martin Greuel ; Andrew Sommese ; Thorsten Koch ; Peter Paule. Cham : Springer International Publishing, 2016. pp. 437-442 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{9de37137a10740bf84d6a0c81dddbab3,

title = "Stam's Identities Collection: A Case Study for Math Knowledge Bases",

author = "Bruno Buchberger",

year = "2016",

doi = "10.1007/978-3-319-42432-3\_55",

language = "English",

isbn = "978-3-319-42432-3",

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

publisher = "Springer International Publishing",

pages = "437--442",

editor = "Gert-Martin Greuel and Andrew Sommese and Thorsten Koch and Peter Paule",

booktitle = "Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings",

}

Buchberger, B 2016, Stam's Identities Collection: A Case Study for Math Knowledge Bases. in G-M Greuel, A Sommese, T Koch & P Paule (eds), Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9725, Springer International Publishing, Cham, pp. 437-442. https://doi.org/10.1007/978-3-319-42432-3_55

Stam's Identities Collection: A Case Study for Math Knowledge Bases. / Buchberger, Bruno.
Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. ed. / Gert-Martin Greuel; Andrew Sommese; Thorsten Koch; Peter Paule. Cham: Springer International Publishing, 2016. p. 437-442 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9725).

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

TY - GEN

T1 - Stam's Identities Collection: A Case Study for Math Knowledge Bases

AU - Buchberger, Bruno

PY - 2016

Y1 - 2016

UR - https://www.scopus.com/pages/publications/84978878212

U2 - 10.1007/978-3-319-42432-3_55

DO - 10.1007/978-3-319-42432-3_55

M3 - Conference proceedings

SN - 978-3-319-42432-3

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

SP - 437

EP - 442

BT - Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

A2 - Greuel, Gert-Martin

A2 - Sommese, Andrew

A2 - Koch, Thorsten

A2 - Paule, Peter

PB - Springer International Publishing

CY - Cham

ER -

Buchberger B. Stam's Identities Collection: A Case Study for Math Knowledge Bases. In Greuel GM, Sommese A, Koch T, Paule P, editors, Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. Cham: Springer International Publishing. 2016. p. 437-442. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-42432-3_55

Stam's Identities Collection: A Case Study for Math Knowledge Bases

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this