会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 10. 发明申请
    • METHODS AND SYSTEMS FOR PARSING AND INTERPRETATION OF MATHEMATICAL STATEMENTS
    • 数学陈述的分类和解释的方法与系统
    • US20130024487A1
    • 2013-01-24
    • US13188090
    • 2011-07-21
    • Xiaohua Yi
    • Xiaohua Yi
    • G06F3/00
    • G06F17/215
    • Methods, systems, and devices are described that provide for entry of hybrid mathematical and natural language statements in a mathematical notation friendly language and system for a rigorous yet practically tractable formal grammar to distill the essence of natural math notation. Hybrid statements mixing natural language and symbolic expressions including assertions, commands, queries, and/or deductions may be entered that are processed according to natural language processing. The statements, along with the math objects are evaluated, and one or more results output. Furthermore, systems may provide automatic construction of one or more solution narratives that can be beneficial to student users pedagogically.
    • 描述了方法,系统和设备,其以数学符号友好的语言和系统输入混合数学和自然语言语言,用于严格但实际易于理解的形式语法,以蒸馏自然数学符号的本质。 可以输入混合自然语言和符号表达式的混合语句,包括断言,命令,查询和/或扣除,这些混合语句根据自然语言处理进行处理。 语句与数学对象一起被评估,并输出一个或多个结果。 此外,系统可以提供一个或多个解决方案叙述的自动构造,这可以有助于学生用户在教学上。