首页>
外国专利>
METHODS AND SYSTEMS FOR PARSING AND INTERPRETATION OF MATHEMATICAL STATEMENTS
METHODS AND SYSTEMS FOR PARSING AND INTERPRETATION OF MATHEMATICAL STATEMENTS
展开▼
机译:解析和解释数学陈述的方法和系统
展开▼
页面导航
摘要
著录项
相似文献
摘要
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.
展开▼