| 2007 |
|---|
| 4 | EE | Adrian Craciun,
Madalina Hodorog:
Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration.
SYNASC 2007: 41-47 |
| 2006 |
|---|
| 3 | EE | Madalina Hodorog,
Adrian Craciun:
Scheme-Based Systematic Exploration of Natural Numbers.
SYNASC 2006: 23-34 |
| 2 | EE | Bruno Buchberger,
Adrian Craciun,
Tudor Jebelean,
Laura Kovács,
Temur Kutsia,
Koji Nakagawa,
Florina Piroi,
Nikolaj Popov,
Judit Robu,
Markus Rosenkranz:
Theorema: Towards computer-aided mathematical theory exploration.
J. Applied Logic 4(4): 470-504 (2006) |
| 2004 |
|---|
| 1 | EE | Bruno Buchberger,
Adrian Craciun:
Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema.
Electr. Notes Theor. Comput. Sci. 93: 24-59 (2004) |
