Computers with a proof function

Abstract

The inventive computer includes a RAM which sequentially stores a series of calculation expression data thereto, a proof unit which proves the series of calculation expression data by inputting those data again, and a display which displays calculation data found to be non-coincident in the proof operation. First, when a series of calculation expression data is input to the computer, the computer performs a required calculation on the series of calculation expression data and sequentially stores the data in the RAM. After the series of calculations on the data is completed, the user inputs data on designation of a proof operation to confirm whether the result of the calculation is correct. Thus, the proof mode is selected and a second series of calculation expression data is input. At this time, terms of the calculation expression data stored in the RAM are sequentially compared with corresponding terms of the second series of calculation expression data to determine whether those data coincide with each other. If non-coincidence is determined, the terms of the calculation data determined to be non-coincident are read from the RAM and the second input calculation expression data and displayed alternately in accordance with the user's instruction.