Yumi Wada

According to our database, Yumi Wada authored at least 1 paper in 2016.

Collaborative distances:

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

2016

An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination.

Yumi Wada, Takuya Matsuzaki, Akira Terui, Noriko H. Arai

Proceedings of the Mathematical Software - ICMS 2016, 2016