论文信息 - Mathematical Retrieval Techniques for Online Mathematics Learning - 字舞流文

Mathematical Retrieval Techniques for Online Mathematics Learning

Hui Siu Cheung | Quan Thanh Tho | Le Van Tien

[1] Michael Kohlhase,et al. A Search Engine for Mathematical Formulae , 2006, AISC.

[2] Michael Kohlhase,et al. MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems , 2001, J. Symb. Comput..

[3] H. W. Kuhn,et al. Variants of the hungarian method for assignment problems , 1956 .