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 条
  • [31] Semi-automated schema integration with SASMINT
    Unal, Ozgul
    Afsarmanesh, Hamideh
    KNOWLEDGE AND INFORMATION SYSTEMS, 2010, 23 (01) : 99 - 128
  • [32] SEMI-AUTOMATED PHOTOMETRIC TEST EQUIPMENT
    SIMON, E
    SAE TRANSACTIONS, 1968, 77 : 138 - &
  • [33] Semi-automated Tissue Microarrays Maker
    Zhou, Huixing
    Liang, Wenyu
    Li, Yiqiang
    Xing, Lianguo
    Tan, Kok Kiong
    2010 3RD INTERNATIONAL CONFERENCE ON BIOMEDICAL ENGINEERING AND INFORMATICS (BMEI 2010), VOLS 1-7, 2010, : 1577 - 1581
  • [34] Semi-Automated Lifestyle Manager for Obesity
    Jeong, Young-Seob
    Choi, Ho-Jin
    Kwon, Yong-Jin
    Kang, Kyu-Chang
    Lee, Ju-Yeon
    Kim, Hye-Hyon
    Park, Hyun-Ae
    Kim, Ju-Han
    2014 INTERNATIONAL CONFERENCE ON BIG DATA AND SMART COMPUTING (BIGCOMP), 2014, : 229 - +
  • [35] Semi-automated schema integration with SASMINT
    Ozgul Unal
    Hamideh Afsarmanesh
    Knowledge and Information Systems, 2010, 23 : 99 - 128
  • [36] Semi-automated simulation transformation for DDDAS
    Brogan, D
    Reynolds, P
    Bartholet, R
    Carnahan, J
    Loitière, Y
    COMPUTATIONAL SCIENCE - ICCS 2005, PT 2, 2005, 3515 : 721 - 728
  • [37] Semi-automated crater depth measurements
    Breton, Sylvain
    Quantin-Nataf, Cathy
    Bodin, Thomas
    Loizeau, Damien
    Volat, Matthieu
    Lozac'h, Loic
    METHODSX, 2019, 6 : 2293 - 2304
  • [38] Semi-automated quantification of filopodial dynamics
    Costantino, Santiago
    Kent, Christopher B.
    Godin, Antoine G.
    Kennedy, Timothy E.
    Wiseman, Paul W.
    Fournier, Alyson E.
    JOURNAL OF NEUROSCIENCE METHODS, 2008, 171 (01) : 165 - 173
  • [39] SEMI-AUTOMATED DENSITY FITTING WITH XTALVIEW
    McRee, Duncan
    ACTA CRYSTALLOGRAPHICA A-FOUNDATION AND ADVANCES, 1996, 52 : C82 - C82
  • [40] Reliability of Semi-Automated Segmentations in Glioblastoma
    Huber, T.
    Alber, G.
    Bette, S.
    Boeckh-Behrens, T.
    Gempt, J.
    Ringel, F.
    Alberts, E.
    Zimmer, C.
    Bauer, J. S.
    CLINICAL NEURORADIOLOGY, 2017, 27 (02) : 153 - 161
12345