RISC

JKU

RISC Publications & Reports		RISC Report Series		Search		Gröbner Bases Bibliography
Publications of 'Tudor Jebelean'		Technical Reports of 'Tudor Jebelean'		Talks of 'Tudor Jebelean'

RISC Publications and Technical Reports of Tudor Jebelean

2021

Tudor Jebelean. A Heuristic Prover for Elementary Analysis in Theorema. Technical report no. 21-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). April 2021. [doi] [pdf] [bib]
T. Jebelean. A Heuristic Prover for Elementary Analysis in Theorema. In: Intelligent Computer Mathematics, 14th International Conference, CICM 2021, Timisoara, Romania, F. Kamaredine, C. Sacerdoti Coen (ed.), Proceedings of Intelligent Computer Mathematics, 14th International Conference, CICM 2021, LNAI 12833, pp. 130-134. July 2021. Springer, 978-3-030-81096-2. [pdf] [bib]
I. Dramnesc, T. Jebelean. AlCons: Deductive Synthesis of Sorting Algorithms in Theorema. In: Theoretical Aspects of Computing - ICTAC 2021, A. Cerone, P. Csaba Ölveczky (ed.), Proceedings of 18th International Colloquium on Theoretical Aspects of Computing - ICTAC, Nur-Sultan, Kazakhstan, LNCS 12819, pp. 314-333. September 2021. Springer, 978-3-030-85315-0. [pdf] [bib]

2020

Isabela Dramnesc, Tudor Jebelean. Implementation of Deletion Algorithms on Lists and Binary Trees in Theorema. Technical report no. 20-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). April 2020. [pdf] [bib]
Isabela Dramnesc, Tudor Jebelean. Synthesis of Delete on Lists and Binary Trees Using Multisets in Theorema. Technical report no. 20-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). September 2020. [pdf] [bib]

All Years >>