2007 | ||
---|---|---|
2 | EE | Adrian Craciun, Madalina Hodorog: Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration. SYNASC 2007: 41-47 |
2006 | ||
1 | EE | Madalina Hodorog, Adrian Craciun: Scheme-Based Systematic Exploration of Natural Numbers. SYNASC 2006: 23-34 |
1 | Adrian Craciun | [1] [2] |