@misc{RISC2865,
author = {W. Windsteiger},
title = {{Introduction to Theorema: An Example of a Formal Math System}},
language = {english},
year = {2006},
month = {March 6},
note = {Contributed talk at Special Semester on Groebner Bases: Workshop on Formal Groebner Bases Theory. RICAM, Linz},
conferencename = {Special Semester on Groebner Bases: Workshop on Formal Groebner Bases Theory. RICAM, Linz}
}