Mixed-Initiative Approach to Collaboration in the Mathematical Domain.

Nadya Belov, Joshua Shaffer

Browse the full AAAI paper archive.