RISC

JKU

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

RISC Publications of Tudor Jebelean

2021

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]

All Years >>