Canonical Reduction Systems in Symbolic Mathematics

Franz Winkler

doi:10.1007/978-3-642-03564-7_7

Canonical Reduction Systems in Symbolic Mathematics

Franz Winkler

Research Institute for Symbolic Computation

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

Original language	English
Title of host publication	Proc. 3rd International Conference on Algebraic Informatics
Editors	S. Bozapalidis, G. Rahonis
Publisher	Springer Verlag
Pages	123-135
Number of pages	13
Volume	5725
ISBN (Print)	3642035639, 9783642035630
DOIs	https://doi.org/10.1007/978-3-642-03564-7_7
Publication status	Published - 2009

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5725 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

Access to Document

10.1007/978-3-642-03564-7_7

Cite this

Winkler, F. (2009). Canonical Reduction Systems in Symbolic Mathematics. In S. Bozapalidis, G. Rahonis (Ed.), Proc. 3rd International Conference on Algebraic Informatics (Vol. 5725, pp. 123-135). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5725 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-642-03564-7_7

@inproceedings{967120c4dd5f433da550a3e2686f902d,

title = "Canonical Reduction Systems in Symbolic Mathematics",

author = "Franz Winkler",

year = "2009",

doi = "10.1007/978-3-642-03564-7\_7",

language = "English",

isbn = "3642035639",

volume = "5725",

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

publisher = "Springer Verlag",

pages = "123--135",

editor = "\{S. Bozapalidis, G. Rahonis\}",

booktitle = "Proc. 3rd International Conference on Algebraic Informatics",

}

Winkler, F 2009, Canonical Reduction Systems in Symbolic Mathematics. in S. Bozapalidis, G. Rahonis (ed.), Proc. 3rd International Conference on Algebraic Informatics. vol. 5725, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5725 LNCS, Springer Verlag, pp. 123-135. https://doi.org/10.1007/978-3-642-03564-7_7

Canonical Reduction Systems in Symbolic Mathematics. / Winkler, Franz.
Proc. 3rd International Conference on Algebraic Informatics. ed. / S. Bozapalidis, G. Rahonis. Vol. 5725 Springer Verlag, 2009. p. 123-135 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5725 LNCS).

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

TY - GEN

T1 - Canonical Reduction Systems in Symbolic Mathematics

AU - Winkler, Franz

PY - 2009

Y1 - 2009

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

U2 - 10.1007/978-3-642-03564-7_7

DO - 10.1007/978-3-642-03564-7_7

M3 - Conference proceedings

SN - 3642035639

SN - 9783642035630

VL - 5725

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

SP - 123

EP - 135

BT - Proc. 3rd International Conference on Algebraic Informatics

A2 - S. Bozapalidis, G. Rahonis, null

PB - Springer Verlag

ER -

Winkler F. Canonical Reduction Systems in Symbolic Mathematics. In S. Bozapalidis, G. Rahonis, editor, Proc. 3rd International Conference on Algebraic Informatics. Vol. 5725. Springer Verlag. 2009. p. 123-135. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-03564-7_7

Canonical Reduction Systems in Symbolic Mathematics

Publication series

Fields of science

Access to Document

Other files and links

Cite this