On some computer proofs

From here you can get a DVI file (18 Kb) and a Postscript file (65 Kb) containing a draft version of D. Skordev's paper "On the Computer Proof of a Result in the Abstract Theory of Segments" (the paper has been presented at the conference "First St. Petersburg Days of LOGIC and COMPUTABILITY", May 26-29, 1999, dedicated to N. A. Shanin; its abstract can be found via the conference abstracts server and, with a slightly different layout, supplemented with a small addendum, also here). Some other related information (in HTML format) is also available.

Remark (added on February 10, 2004; modified on January 31, 2008). The Internet link given after the first item in the references section of the text on the abstracts server and in the above-mentioned draft version should be replaced now by the following one:
http://www.pms.ifi.lmu.de/mitarbeiter/ohlbach/homepage/publications/PL/MKRP/MKRP.pdf