| 摘要 |
A method for computer-assisted conversion of mathematical statements from one data format to another and an apparatus for carrying out the method are particularly useful for computer recognition of visual images of mathematical statements. There are difficulties in converting a mathematical statement perfectly from, say, a hand-written document into a mathematical computer code, especially if scanning and recognition software is used. Errors may also occur where electronic documents are transmitted over noisy communications channels. To overcome these difficulties, the method comprises inputting to a computer a mathematical statement expressed by a binary relation operator in a data file in the first format; passing the file through a recognition means to convert the file with the statement to a different data format; partitioning the statement into mathematical blocks using the binary relation operators; checking a mathematical block against at least one other block using the analytic manipulation means; identifying errors found by the checking; and reporting the errors. |
