Keiichi Mishima

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We are developing a geometric inference system on Internet. A rough geometric figure drawn by a student is transformed into an ideal one that satisfies the assumptions. The system extracts particular patterns in this figure and tries to connect the assumptions and the conclusion. The present paper extends the visualization of the proof by introducing a(More)
  • 1