Skip to main navigation Skip to search Skip to main content

The theorema system: Current status and the proving-solving-computing cycle

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings

Original languageEnglish
Title of host publicationProceeding of RTETP 2000 (Rewriting Techniques and Efficient Theorem Proving)
Number of pages10
Publication statusPublished - Jun 2000

Fields of science

  • 101 Mathematics

JKU Focus areas

  • Computation in Informatics and Mathematics

Cite this