An Integrated Web Platform for the Mizar Mathematical Library.
Hideharu FurushimaDaichi YamamichiSeigo ShigenakaKazuhisa NakashoKatsumi WasakiPublished in: CoRR (2022)
Keyphrases
- web applications
- website
- computer assisted
- real time
- web scale
- web resources
- web gis
- web data
- web environment
- semantic web
- web interface
- cross platform
- web portal
- end users
- web pages
- search engine
- bibliographic information
- database
- content management
- core components
- web information retrieval
- web information
- user generated content
- web users
- web mining
- web documents
- information systems