Author:
Lamar Robert,Kamareddine Fairouz,Wells J. B.
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Kamareddine, F., Lamar, R., Maarek, M., Wells, J.B.: Restoring natural language as a computerised mathematics input method. In: MKM 2007 [20], pp. 280–295 (2007)
2. Lecture Notes in Computer Science;F. Kamareddine,2006
3. Kamareddine, F., Maarek, M., Retel, K., Wells, J.B.: Narrative structure of mathematical texts. In: MKM 2007 [20], pp. 296–311 (2007)
4. Rudnicki, P.: An overview of the Mizar project. In: Proceedings of the 1992 Workshop on Types for Proofs and Programs (1992)
5. Buchberger, B., Crǎciun, A., Jebelean, T., Kovács, L., Kutsia, T., Nakagawa, K., Piroi, F., Popov, N., Robu, J., Rosenkranz, M., Windsteiger, W.: Theorema: Towards Computer-Aided Mathematical Theory Exploration. Journal of Applied Logic, 470–504 (2006)