Ticket #25 (accepted task)
Construction of Semantic Formula Trees for arXMLiv Mathematical Expressions
| Reported by: | deyan | Owned by: | deyan |
|---|---|---|---|
| Priority: | major | Milestone: | LaMaPUn Fall 2010 |
| Component: | Context-based Formula Understanding | Version: | 1.0 |
| Keywords: | Cc: | ||
| Blocked By: | Blocking: | ||
| Due to close: | YYYY/MM/DD | Include in GanttChart: | no |
| Dependencies: | Due to assign: | YYYY/MM/DD |
Description
The goal of this project is to convert the linear XML representation of math expressions to a semantic formula tree. A crucial goal of the construction process is to preserve both ambiguity and certainty (when originally available or grammar-derived) of the parses. Additionally, we are aiming for a compact, disjunctive representation of the final logical forms, which eventually will be converted into an extended version of Content MathML.
The report for the first version of the project has been submitted as part of a Seminar project in Spring 2010 (see attached).
Attachments
-
DeyanGinev-SemanticFormulaTrees-Spring10.pdf
(341.2 KB) - added by deyan
20 months ago.
- Project report of the first version of the formula tree parser
Change History
Note: See
TracTickets for help on using
tickets.
