文章基本信息

标题：Discurso informal matemático: enfoques, métodos, técnicas y tendencias
本地全文：下载
作者：Raúl Ernesto Gutiérrez de Piñerez Reyes ; Juan Francisco Díaz Frías
期刊名称：Revista Avances en Sistemas e Informática
印刷版ISSN：1657-7663
电子版ISSN：1909-0056
出版年度：2011
卷号：8
期号：2
页码：155-164
语种：Spanish
出版社：Universidad Nacional de Colombia
摘要：El Discurso Informal Matemático (DIM) se caracteriza por la mezcla entre lenguaje natural y las expresiones simbólicas que se presentan en el contexto de los libros de textos, en las publicaciones matemáticas y en las demostraciones matemáticas. En la actualidad el discurso informal matemático está siendo abordado desde tres grandes áreas de trabajo; una primera, la asistencia y chequeo automático de teoremas; una segunda, la automatización de los fenómenos lingüísticos que se presentan en las demostraciones matemáticas; y una tercera, que tiene que ver con la gestión del conocimiento matemático sobre grandes corpus de textos matemáticos. En este artículo se exponen los métodos, técnicas y tendencias sobre el DIM con el fin de mostrar la aplicabilidad de diversas teorías lingüístico-computacionales de manera que sirvan de punto de partida para el desarrollo de proyectos futuros.
其他摘要：Informal Mathematical Discourse (IMD) in formal domains, such as mathematics, is characterized by a mixture of natural language and embedded formal expressions. Informal mathematical discourse points in addressing of three major areas of work: (i) The automated proof checking. (ii) The automation of linguistic phenomena occurring in mathematical emonstrations. (iii) The mathematical knowledge management on corpora large of mathematical texts. In this paper, are describes methods, techniques and tendencies on IMD in order to show the applicability of computational linguistic, so that it serves as starting point for development of future projects.
关键词：Discurso informal matemático; fenómenos lingüísticos; chequeo automático; expresiones simbólicas. Informal mathematical discourse; linguistic phenomena; auto...