Retrieval and Structuring of Large Mathematical Knowledge Bases in Theorema

Camelia Rosenkranz

Research output: Working paper and reportsPreprint

Original languageEnglish
Place of PublicationSchloss Hagenberg, 4232 Hagenberg
PublisherRISC, JKU-Linz
Number of pages139
Publication statusPublished - Feb 2009

Publication series

NameRISC Report Series
No.09-04

Fields of science

  • 101 Mathematics
  • 101001 Algebra
  • 101005 Computer algebra
  • 101009 Geometry
  • 101012 Combinatorics
  • 101013 Mathematical logic
  • 101020 Technical mathematics

Cite this