A Web Platform for Hosting the Mizar Mathematical Library (short paper).

Daichi Yamamichi Seigo Shigenaka Kazuhisa Nakasho Katsumi Wasaki

Published in: CICM Workshops (2021)

Keyphrases

website
web applications
cross platform
computer assisted
end users
web mining
mashup
web content
web portal
semantic web
web documents
database
web technologies
web server
web information
web environment
web gis
web resources
online communities
linked data
user experience
web pages
databases
real time