An Integrated Web Platform for the Mizar Mathematical Library.
Hideharu FurushimaDaichi YamamichiSeigo ShigenakaKazuhisa NakashoKatsumi WasakiPublished in: CICM (2022)
Keyphrases
- website
- real time
- web applications
- web environment
- value added services
- web documents
- information sources
- web pages
- semantic web
- web scale
- computer assisted
- link analysis
- web resources
- database
- mashup
- web content
- case study
- web technologies
- user generated content
- user behavior
- social networks
- web communities
- data sets
- digital libraries