Methods and systems for parsing and interpretation of mathematical statements
US8943113B2 · kind B2 · utility
Inventor
Key dates
| Filing date | Jul 21, 2011 |
| Grant date | Jan 27, 2015 |
| Priority date | — |
| Expiry date | Apr 8, 2033 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F40/111
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.