◮ Analyzing theories, ◮ Verifying proofs, ◮ Assist tutoring, (2006)
by
Mathlang Encoding
,
Manuel Maarek
,
Under Prof
,
Fairouz Kamareddine
,
Dr. Joe Wells
,
Mathlang Encoding
BibTeX
@MISC{Encoding06◮analyzing,
author = {Mathlang Encoding and Manuel Maarek and Under Prof and Fairouz Kamareddine and Dr. Joe Wells and Mathlang Encoding},
title = {◮ Analyzing theories, ◮ Verifying proofs, ◮ Assist tutoring,},
year = {2006}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstraction with nouns and adjectives
Citations
| 17 | Toward an objectoriented structure for mathematical text - Kamareddine, Maarek, et al. - 2006 |
| 2 | Mathlang: Experience-driven development of a new mathematical language - Wells - 2004 |
