A Spelling Checker?
Check that the OpenMath object is well-formed
Check that operators have the right number of arguments
Type checking (depends on type system)
Mathematical verifiers
...
Previous slide
Back to first slide
View graphic version