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