Theorema: Computation and Deduction in Natural Style

Bruno Buchberger, Tudor Jebelean

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original languageEnglish
Title of host publicationHandbook of Computer Algebra
Number of pages2
Publication statusPublished - Dec 2000

Fields of science

  • 101 Mathematics

Cite this