A method for formalizing educational texts
Context and relevance. The formalization of educational texts is necessary for content analysis, checking the logic of exposition, and developing computer-based support for learning; however, arbitrary verbal texts are difficult to formalize automatically without taking their genre and functional features into account....