Daichi Yamamichi

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 3

Top Topics

Web Environment

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)
Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki
A Web Platform for Hosting the Mizar Mathematical Library (short paper). CICM Workshops (2021)