• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Sprache und Datenverarbeitung >The Naproche system: Proof-checking mathematical texts in controlled natural language
【24h】

The Naproche system: Proof-checking mathematical texts in controlled natural language

机译：Naproche系统：以受控的自然语言对数学文本进行校对

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The Naproche system is a system for linguistically analyzing and proof-checking mathematical texts written in a controlled natural language, i.e. a subset of the usual natural language of mathematical texts defined through a formal grammar. This paper gives an overview over the linguistic and logical techniques developed for the Naproche system. Special attention is given to the dynamic nature of quantification in natural language, to the phenomenon of implicit function introduction in mathematical texts, and to the usage of definitions for dynamically extending the language of a mathematical text.
机译：Naproche系统是一种用于语言分析和校对以受控自然语言（即通过形式语法定义的数学文本的常用自然语言的子集）编写的数学文本的系统。本文概述了为Naproche系统开发的语言和逻辑技术。特别注意自然语言中量化的动态性质，数学文本中隐式函数引入的现象以及动态扩展数学文本语言的定义的使用。

著录项

  • 来源
    《Sprache und Datenverarbeitung》 |2014年第2期|9-33119|共26页
  • 作者

    Marcos Cramer;

  • 作者单位

    Interdisciplinary Centre for Security, Reliability and Trust Campus Kirchberg, Universite du Luxembourg 6, rue Richard Coudenhove-Kalergi L-1359 Luxembourg;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号