Nanako Noda

According to our database, Nanako Noda authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

ProofLang: The Language of arXiv Proofs.

Henry Hammer, Nanako Noda, Christopher A. Stone

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023