Employing Computer Algebra for Classifying Mathematical Web Content.
Dirk DraheimWinfried NeunDima SulimanPublished in: Algorithmic Algebra and Logic (2005)
Keyphrases
- computer algebra
- web content
- website
- computer algebra systems
- theorem prover
- automated theorem provers
- web pages
- user generated
- semantic browsing
- web usage mining
- web data
- web resources
- web documents
- web users
- web information
- html documents
- web browsing
- machine learning
- user interests
- automatic classification
- rss feeds
- theorem proving
- image retrieval