Last update: Sun Oct 15 02:39:02 MDT 2017
@Article{Buchberger:1998:TPS, author = "Bruno Buchberger", title = "{Theorema}: a Proving System Based on {Mathematica}", journal = j-MATHEMATICA-J, volume = "8", number = "2", pages = "??--??", month = "????", year = "1998", CODEN = "????", ISSN = "1047-5974 (print), 1097-1610 (electronic)", ISSN-L = "1047-5974", bibdate = "Sat Nov 6 13:34:24 MDT 2010", bibsource = "http://www.math.utah.edu/pub/tex/bib/mathematicaj.bib; http://www.mathematica-journal.com/issue/v0i0/", acknowledgement = ack-nhfb, journal-URL = "http://www.mathematica-journal.com/", }