RISC

JKU

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

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]

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 >>