Adrian Craciun
タイトル
引用先
引用先
Theorema: Towards computer-aided mathematical theory exploration
B Buchberger, A Crǎciun, T Jebelean, L Kovács, T Kutsia, K Nakagawa, ...
Journal of Applied Logic 4 (4), 470-504, 2006
1922006
Algorithm synthesis by lazy thinking: Examples and implementation in Theorema
B Buchberger, A Crăciun
Electronic Notes in Theoretical Computer Science 93, 24-59, 2004
482004
Lazy thinking algorithm synthesis in Gröbner bases theory
VA Crăciun
na, 2008
172008
Algorithm synthesis by lazy thinking: Using problem schemes
B Buchberger, A Craciun
Proceedings of SYNASC, 90-106, 2004
172004
Scheme-based systematic exploration of natural numbers
M Hodorog, A Craciun
2006 Eighth International Symposium on Symbolic and Numeric Algorithms for …, 2006
142006
Decompositions of Natural Numbers: From A Case Study in Mathematical Theory Exploration
A Craciun, M Hodorog
Ninth International Symposium on Symbolic and Numeric Algorithms for …, 2007
132007
Functional program verification with theorema
A Craciun, B Buchberger
CAVIS-03 (Computer Aided Verification of Information Systems), Institute e …, 2003
82003
Short proofs of the Kneser–Lovász coloring principle
J Aisenberg, ML Bonet, S Buss, A Crăciun, G Istrate
Information and Computation 261, 296-310, 2018
72018
Proof complexity and the Kneser-Lovász theorem
G Istrate, A Craciun
International Conference on Theory and Applications of Satisfiability …, 2014
62014
A case study in systematic exploration of tuple theory
I Dramnesc, T Jebelean, A Craciun
SCSS 2010 1, 82-95, 2010
52010
Algorithm synthesis case studies: sorting of tuples by lazy thinking
A Craciun, B Buchberger
RISC-Linz, Austria, 2004
42004
Preprocessed Lazy Thinking: Synthesis of sorting algorithms
A Craciun, B Buchberger
RiscTechnical Report, 04-17, 2004
42004
Factorizations of regular hedge languages
M Marin, A Craciun
2009 11th International Symposium on Symbolic and Numeric Algorithms for …, 2009
32009
A Case Study in Systematic Theory Exploration: Natural Numbers
M Hodorog, A Craciun
Technical Report 07-18, RISC–Linz, Austria, 2007
32007
F 1302: THEOREMA: Proving, Solving and Computing in General Domains
B Buchberger, T Jebelean, W Windsteiger, T Kutsia, K Nakagawa, J Robu, ...
Special Research Program (SFB) F 13, 148-170, 0
1
Gröbner Bases with Reduction Machines.
G Surlea, A Craciun
FROM, 61-75, 2019
2019
Type Inference for Regular Expression Pattern Matching
M Marin, A Crǎciun
2010 12th International Symposium on Symbolic and Numeric Algorithms for …, 2010
2010
SCSS 2010 Symbolic Computation in Software Science
B Buchberger, T Ida, M Mosbah, T Jebelean, N Popov, A Bouhoula, ...
2010
Automatheo 2009: Proceedings of the Workshop on Automated Mathematical Theory Exploration}}
B Buchberger, R McCasland, A Craciun
Research Institute for Symbolic Computation (RISC), Johannes Kepler …, 2009
2009
Lazy Thinking Synthesis of a Gröbner Bases Algorithm in Theorema
A Craciun, B Buchberger
RISC-Linz, 16, 2008
2008
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20