Theorema: Extending Mathematica by Automated Proving

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

Original languageEnglish
Title of host publicationProceedings of PrimMath 2001
Editors D. Ungar
Pages10-11
Number of pages2
Publication statusPublished - Sept 2001

Fields of science

  • 101 Mathematics

JKU Focus areas

  • Computation in Informatics and Mathematics

Cite this