View Proposal

Proposer
Joe Wells
Title
parsing/semantics for mixed English/symbolic mathematics
Goal
Description
Parse and/or give formal semantics to mathematical uses of English combined with symbolic formulas. The starting point is to read the Language of Mathematics by Mohan Ganesalingam and then scan the research in the decade since this book was published. Then some part of the problem must be determined as the goal. Then implement and test and evaluate.
Resources
Background
parsing, mathematical notation, logic, some linguistics, types
Url
Difficulty Level
Variable
Ethical Approval
None
Number Of Students
1
Supervisor
Joe Wells
Keywords
Degrees
Bachelor of Science in Computer Science
Master of Engineering in Software Engineering
Master of Science in Artificial Intelligence
Master of Science in Computing (2 Years)
Master of Science in Data Science
Master of Science in Software Engineering
Bachelor of Science in Computing Science
Back to List