Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleThe THEOREMA Project: A Progress Report
Author(s) Bruno Buchberger, Claudio Dupre, Tudor Jebelean, Franz Kriftner, Koji Nakagawa, Daniela Vasaru, Wolfgang Windsteiger
TextB. Buchberger, C. Dupre, T. Jebelean, F. Kriftner, K. Nakagawa, D. Vasaru, and W. Windsteiger. The THEOREMA project: A progress report. In M. Kerber and M. Kohlhase, editors, Symbolic Computation and Automated Reasoning, pages 98-113. A. K. Peters, 2001.
TypeTechnical Report, Misc
AbstractThe Theorema project aims at supporting, within one consistent logic and one coherent software system, the entire mathematical exploration cycle including the phase of proving. In this paper we report on some of the new features of Theorema that have been designed and implemented since the first expository version of Theorema in 1997.
LanguageEnglish
Pages98 - 113
Year2001
Edition0
Translation No
Refereed No
Webmaster