A
Adrian Crăciun
Researcher at West University of Timișoara
Publications - 15
Citations - 80
Adrian Crăciun is an academic researcher from West University of Timișoara. The author has contributed to research in topics: Mathematical proof & Combinatorial proof. The author has an hindex of 5, co-authored 15 publications receiving 77 citations. Previous affiliations of Adrian Crăciun include Research Institute for Symbolic Computation & Johannes Kepler University of Linz.
Papers
More filters
Journal ArticleDOI
Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema
Bruno Buchberger,Adrian Crăciun +1 more
TL;DR: This paper gives a couple of examples for algorithm synthesis using the lazy thinking paradigm and details about the implementation of the lazy Thinking algorithm synthesis method in the frame of the Theorema system.
Algorithm Synthesis by Lazy Thinking: Using Problem Schemes
Bruno Buchberger,Adrian Crăciun +1 more
TL;DR: It is shown that the lazy thinking method can be significantly streamlined by applying it, in a preprocessing step, to problem schemes before the authors apply the result of the preprocessing to concrete problems.
Proceedings ArticleDOI
Scheme-Based Systematic Exploration of Natural Numbers
Mădălina Hodorog,Adrian Crăciun +1 more
TL;DR: A case study of computer supported exploration of the theory of natural numbers, using a theory exploration model based on knowledge schemes, proposed by Bruno Buchberger is reported.
Book ChapterDOI
Proof Complexity and the Kneser-Lovász Theorem
Gabriel Istrate,Adrian Crăciun +1 more
TL;DR: This work investigates the proof complexity of a class of propositional formulas expressing a combinatorial principle known as the Kneser-Lovasz Theorem, indexed by an nonnegative integer parameter k that generalizes the Pigeonhole Principle.
Proceedings ArticleDOI
Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration
Adrian Crăciun,Mădălina Hodorog +1 more
TL;DR: This work investigates the idea of decomposition, applied in the exploration of natural numbers, and considers a restriction, the decomposition in domains with a well-founded partial ordering, and introduces the notions of irreducible elements, reducible elements w.r.t. a composition operation, decomposition of domain elements into ir reducible ones, and also the problem of irReducible decomposition.