author = {Florina Piroi and Tudor Jebelean},
title = {{Advanced Proof Presentation in Theorema}},
language = {english},
journal = {Special Issue of the Annals of the University of the West, Timisoara.},
volume = {XXXIX},
pages = {181--199},
isbn_issn = {ISSN 1224-970X},
year = {2001},
month = {September},
annote = {Editors: Stefan Maruster, Bruno Buchberger, Viorel Negru, Tudor Jebelean},
note = {Proceedings of SYNASC 01, 3rd International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, October 2-5, 2001},
refereed = {yes},
length = {19}