Fault-Tolerant Context-Based Interpretation of Mathematical Formulas

We present a fault-tolerant formula interpreter that aims at finding plausibly intended, formally correct and contextually meaningful specifications from user statements containing formal inaccuracies.