Combining Provers in the Theorema System

Bruno Buchberger, Eleana Tomuta

Research output: Working paper and reportsPreprint

Original languageEnglish
Place of PublicationHagenberg
PublisherRISC JKU
Number of pages14
Publication statusPublished - 1998

Publication series

NameRISC Report Series
No.98-02

Fields of science

  • 101 Mathematics

JKU Focus areas

  • Computation in Informatics and Mathematics

Cite this