Using Context-Free Grammars to Scaffold and Automate Feedback in Precise Mathematical Writing.

Jason Xia, Craig B. Zilles

Browse the full SIGCSE paper archive.