Boots – shoes – and leggings
Patent
1988-12-13
1991-07-16
Smith, Jerry
Boots, shoes, and leggings
G05B 1304
Patent
active
050329880
ABSTRACT:
A method and a device are described for verifying a mathematical proof which is formulated in a typed high-order language as a sequence of lines. From this sequence a sequence of sub-sequences is formed. These sub-sequences are successively assigned to verification processors; when all verification processes are engaged in the verification, the row of sub-sequences already having been assigned is uninterrupted. Each verification process produces a positive result, a negative result, or is trapped in an infinitely long verification process. As a result of the specific organization of the assignment, in the latter case one veritification process will always produce a negative verification. A fast procedure is achieved by assignment to a plurality of verification processes.
REFERENCES:
patent: 4044476 (1977-08-01), Tanifuji
L. S. van Benthem Jutting, `Checking Landau's "Grundlagen" in the Automath System`, Mathematical Centre Tracts vol. 83 (Amsterdam 1979).
Manna et al, "A Deductive Approach to Program Synthesis", ACM Tran. on Programming Languages and Systems, vol. 2, No. 1, Jan. 1980, pp. 90-121.
J. Moor et al., "Bertie-II: Personal Computers and Logic", Teaching Philosophy 8:4, Oct. 1985, pp. 319-323.
J. Moor et al., "Computer-Assisted Instruction in Logic: BERTIE", Teaching Philosophy 2:1, Spring 1977, pp. 1-6.
Communication from the European Patent Office Dated Apr. 11, 1989 in EP 88202949.9, a Corresponding Application.
Barschall Anne E.
Smith Jerry
Tbui Kim T.
U.S. Philips Corporation
LandOfFree
Method of and device for verifying a mathmatical proof does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method of and device for verifying a mathmatical proof, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method of and device for verifying a mathmatical proof will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-136788