Abstract. Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and...
ion with nouns and adjectives Syntax and type system Future works and conclusion Toward an Object-Oriented Structure for Mathematical Text Fairouz Kamareddine, Manuel Maarek and Jo...