81956

Автор(ы): 

Кудинов И. Д. (ИПУ РАН, Лаборатория 90)
Изуткина А. М. (ИПУ РАН, Лаборатория 90)

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Доклад

Название: 

Некоторые трудности автоматического чтения математических текстов

Электронная публикация: 

Да

ISBN/ISSN: 

978-5-8265-2937-9

Наименование конференции: 

  • 21-я Всероссийская школа-конференция молодых ученых «Управление большими системами» (УБС'2025, Тамбов)

Наименование источника: 

  • Труды 21-й Всероссийской школы-конференции молодых ученых «Управление большими системами» (УБС'2025, Тамбов)

Обозначение и номер тома: 

Т. 2

Город: 

  • Тамбов

Издательство: 

  • Издательский центр ФГБОУ ВО «ТГТУ»

Год издания: 

2025

Страницы: 

96-100
Аннотация
Формальное математическое представление (ФМП) текста научной статьи содержит и связывает определения объектов и утверждения об их свойствах. Обсуждаются некоторые практики написания математических текстов, как формальные ошибки, так и естественные упрощения текста, которые оказываются препятствием для процесса выделения ФМП.

Библиографическая ссылка: 

Кудинов И.Д., Изуткина А.М. Некоторые трудности автоматического чтения математических текстов / Труды 21-й Всероссийской школы-конференции молодых ученых «Управление большими системами» (УБС'2025, Тамбов). Тамбов: Издательский центр ФГБОУ ВО «ТГТУ», 2025. Т. 2. С. 96-100.