Hideharu Furushima

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Web Environment

User Generated Content

Core Components

Top Venues

Publications

Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki
An Integrated Web Platform for the Mizar Mathematical Library. CICM (2022)
Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki
An Integrated Web Platform for the Mizar Mathematical Library. CoRR (2022)