SEMI-AUTOMATED MATHEMATICS

被引：22

作者：

GUARD, JR

OGLESBY, FC

BENNETT, JH

SETTLE, LG

机构：

[1] Applied Logic Corporation, Princeton, New Jersey

来源：

JOURNAL OF THE ACM | 1969年 / 16卷 / 01期

关键词：

D O I：

10.1145/321495.321500

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The fifth in a series of experiments in semi-automated mathematics is described. These experiments culminated in large complex computer programs which allow a mathematician to prove mathematical theorems on an man/machine basis. SAM V, the fifth program, is oriented primarily toward the development of efficient automatic techniques for handling some of the more basic processes of mathematical deduction, and toward the realization of efficient real-time interaction between man and machine through the use of cathode-ray tube displays. SAM V's most notable success is the solution of an open problem in lattice theory. © 1969, ACM. All rights reserved.

引用

页码：49 / &