We stand with Ukraine  

Daichi Yamamichi

According to our database1, Daichi Yamamichi authored at least 2 papers between 2021 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
An Integrated Web Platform for the Mizar Mathematical Library.
[BibTeX]
[DOI]
Hideharu Furushima
,
Daichi Yamamichi
,
Seigo Shigenaka
,
Kazuhisa Nakasho
,
Katsumi Wasaki
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

2021
A Web Platform for Hosting the Mizar Mathematical Library (short paper).
[BibTeX]
[DOI]
Daichi Yamamichi
,
Seigo Shigenaka
,
Kazuhisa Nakasho
,
Katsumi Wasaki
Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021


  Loading...