Modeling anaphora in informal mathematical dialogue

We analyze anaphoric phenomena in the context of building an input understanding component for a conversational system for tutoring mathematics. In this paper, we report the results of data analysis of twosets of corpora of dialogs on mathematical theorem proving. We exemplify anaphoric phenomena,identifyfactors relevantto anaphora resolution in our domain and extensions to the input interpretation component to support it.