CNL; Mathematical language; Formal mathematics; Proof checking;
机译:Naproche系统:以受控的自然语言对数学文本进行校对
机译:Projectity是Haitao Liu等人对“依赖距离:自然语言句法模式的新透视图的数学码。
机译:面向isiZulu的知识到文本控制的自然语言
机译:Naproche项目对自然语言证明检查数学文本
机译:从不受约束的自然语言文本中实现数据库访问控制策略
机译:通过自然语言处理从临床文本中提取严重精神疾病的症状:临床记录交互式搜索综合数据提取(CRIS-CODE)项目
机译:Naproche项目:数学文本的受控自然语言证明