Adrian Craciun

Adrian Craciun

West University of Timisoara - Timisoara / Romania
Engineering & Technology / Computer Science
AD Scientific Index ID: 4452878
Universitatea de Vest din Timisoara
person_outline Adrian Craciun's MOST POPULAR ARTICLES
1-) Theorema: Towards computer-aided mathematical theory exploration Journal of applied logic 4 (4), 470-504, 2006
2-) Algorithm synthesis by lazy thinking: Examples and implementation in Theorema Electronic Notes in Theoretical Computer Science 93, 24-59, 2004
3-) Algorithm synthesis by lazy thinking: Using problem schemes Proceedings of SYNASC, 90-106, 2004
4-) Scheme-based systematic exploration of natural numbers 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for …, 2006
5-) Decompositions of Natural Numbers: From A Case Study in Mathematical Theory Exploration Ninth International Symposium on Symbolic and Numeric Algorithms for …, 2007