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 / &
相关论文
共 50 条
  • [21] Automated cognome construction and semi-automated hypothesis generation
    Voytek, Jessica B.
    Voytek, Bradley
    JOURNAL OF NEUROSCIENCE METHODS, 2012, 208 (01) : 92 - 100
  • [22] SEMI-AUTOMATED IDENTIFICATION OF SUBGINGIVAL ISOLATES
    DZINK, JL
    SMITH, C
    SOCRANSKY, SS
    JOURNAL OF DENTAL RESEARCH, 1983, 62 : 208 - 208
  • [23] THE SEMI-AUTOMATED PRODUCTION OF ANESTHETIC RECORDS
    CUSHMAN, J
    BUSHMAN, JA
    BRITISH JOURNAL OF ANAESTHESIA, 1983, 55 (03) : P240 - P241
  • [24] Validation of a Semi-Automated Workstation for Immunohematology
    Person, R. M.
    Muniz, J. G.
    Carvalho, F. O.
    Ribeiro, J. P.
    Barreto, J.
    TRANSFUSION, 2010, 50 : 161A - 162A
  • [25] Semi-automated verification of Erlang code
    Fredlund, LÅ
    Gurov, D
    Noll, T
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 319 - 323
  • [26] NEW SEMI-AUTOMATED APPARATUS FOR HEMOFILTRATION
    ANDREUCCI, VE
    CALDERARO, V
    MEMOLI, B
    TERRACCIANO, V
    JOURNAL OF DIALYSIS, 1979, 3 (2-3): : 165 - 171
  • [27] A SEMI-AUTOMATED MICROASSAY FOR COMPLEMENT ACTIVITY
    LIU, CC
    YOUNG, JDE
    JOURNAL OF IMMUNOLOGICAL METHODS, 1988, 114 (1-2) : 33 - 39
  • [28] A Semi-automated Approach for Bengali Neologism
    Senapati A.
    SN Computer Science, 4 (5)
  • [29] A SIMPLE SEMI-AUTOMATED METHOD OF IMMUNOELECTROPHORESIS
    CAWLEY, LP
    SCHNEIDE.D
    EBERHARD.L
    HARROUCH, J
    MILLSAP, G
    CLINICA CHIMICA ACTA, 1965, 12 (01) : 105 - &
  • [30] The design of the semi-automated biochemistry analyzer
    Lv, XF
    Luo, YQ
    Deng, MX
    Chen, Y
    ICIA 2004: Proceedings of 2004 International Conference on Information Acquisition, 2004, : 164 - 167
12345