A review of mathematical knowledge management (2009)

by J Carette, W M Farmer
Venue:In Proc. Mathematical Knowledge Management, volume 5625 of LNAI