Decompositions of Natural Numbers: From A Case Study in Mathematical Theory Exploration

Madalina Hodorog; Adrian Craciun

doi:10.1109/SYNASC.2007.55

Decompositions of Natural Numbers: From A Case Study in Mathematical Theory Exploration

Madalina Hodorog
, Adrian Craciun

Research Institute for Symbolic Computation

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

Original language	English
Title of host publication	Proceedings of the 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC07)
Editors	D. Petcu, V. Negru, D. Zaharie and T. Jebelean
Pages	41-48
Number of pages	8
DOIs	https://doi.org/10.1109/SYNASC.2007.55
Publication status	Published - Sept 2007

Publication series

Name	Proceedings - 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007

Fields of science

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

Access to Document

10.1109/SYNASC.2007.55

Cite this

Hodorog, M., & Craciun, A. (2007). Decompositions of Natural Numbers: From A Case Study in Mathematical Theory Exploration. In D. Petcu, V. Negru, D. Zaharie and T. Jebelean (Ed.), Proceedings of the 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC07) (pp. 41-48). Article 4438078 (Proceedings - 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007). https://doi.org/10.1109/SYNASC.2007.55

Hodorog, Madalina ; Craciun, Adrian. / Decompositions of Natural Numbers: From A Case Study in Mathematical Theory Exploration. Proceedings of the 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC07). editor / D. Petcu, V. Negru, D. Zaharie and T. Jebelean. 2007. pp. 41-48 (Proceedings - 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007).

@inproceedings{a59ee39103164944a8da9b2a2188b046,

title = "Decompositions of Natural Numbers: From A Case Study in Mathematical Theory Exploration",

author = "Madalina Hodorog and Adrian Craciun",

year = "2007",

month = sep,

doi = "10.1109/SYNASC.2007.55",

language = "English",

isbn = "0769530788",

series = "Proceedings - 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007",

pages = "41--48",

editor = "\{D. Petcu, V. Negru, D. Zaharie and T. Jebelean\}",

booktitle = "Proceedings of the 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC07)",

}

Hodorog, M & Craciun, A 2007, Decompositions of Natural Numbers: From A Case Study in Mathematical Theory Exploration. in D. Petcu, V. Negru, D. Zaharie and T. Jebelean (ed.), Proceedings of the 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC07)., 4438078, Proceedings - 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, pp. 41-48. https://doi.org/10.1109/SYNASC.2007.55

Decompositions of Natural Numbers: From A Case Study in Mathematical Theory Exploration. / Hodorog, Madalina; Craciun, Adrian.
Proceedings of the 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC07). ed. / D. Petcu, V. Negru, D. Zaharie and T. Jebelean. 2007. p. 41-48 4438078 (Proceedings - 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007).

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

TY - GEN

T1 - Decompositions of Natural Numbers: From A Case Study in Mathematical Theory Exploration

AU - Hodorog, Madalina

AU - Craciun, Adrian

PY - 2007/9

Y1 - 2007/9

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

U2 - 10.1109/SYNASC.2007.55

DO - 10.1109/SYNASC.2007.55

M3 - Conference proceedings

SN - 0769530788

SN - 9780769530789

T3 - Proceedings - 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007

SP - 41

EP - 48

BT - Proceedings of the 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC07)

A2 - D. Petcu, V. Negru, D. Zaharie and T. Jebelean, null

ER -

Hodorog M, Craciun A. Decompositions of Natural Numbers: From A Case Study in Mathematical Theory Exploration. In D. Petcu, V. Negru, D. Zaharie and T. Jebelean, editor, Proceedings of the 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC07). 2007. p. 41-48. 4438078. (Proceedings - 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007). doi: 10.1109/SYNASC.2007.55

Decompositions of Natural Numbers: From A Case Study in Mathematical Theory Exploration

Publication series

Fields of science

Access to Document

Other files and links

Cite this