Combining Provers in the Theorema System

Bruno Buchberger, Eleana Tomuta

Research output: Chapter in Book/Report/Conference proceedingConference proceedings

Original languageEnglish
Title of host publicationProceedings of the Sixth Rhine Workshop on computer Algebra
Number of pages14
Publication statusPublished - Dec 1998

Fields of science

  • 101 Mathematics

JKU Focus areas

  • Computation in Informatics and Mathematics

Cite this