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 条
  • [41] Semi-Automated Assessment of Annotation Trustworthiness
    Ceolin, Davide
    Nottamkandath, Archana
    Fokkink, Wan
    2013 ELEVENTH ANNUAL INTERNATIONAL CONFERENCE ON PRIVACY, SECURITY AND TRUST (PST), 2013, : 325 - 332
  • [42] Semi-automated approach to online assessment
    Jackson, David
    Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE, 2000, : 164 - 167
  • [43] SEMI-AUTOMATED FEEDBACK AND TEAM BEHAVIOR
    GEAR, TE
    MARSH, NR
    SERGENT, P
    HUMAN RELATIONS, 1985, 38 (08) : 707 - 721
  • [44] A SEMI-AUTOMATED DETERMINATION OF SERUM TRIGLYCERIDES
    KRAML, M
    COSYNS, L
    CLINICAL BIOCHEMISTRY, 1969, 2 (05) : 373 - &
  • [45] Atomic, reusable feedback: a semi-automated solution for assessing handwritten tasks? A crossover experiment with mathematics teachers
    Moons, Filip
    Vandervieren, Ellen
    Colpaert, Jozef
    COMPUTERS AND EDUCATION OPEN, 2022, 3
  • [46] An Automated Relationship Classification to Support Semi-Automated IFC Extension
    Zhang, Jiansong
    El-Gohary, Nora
    CONSTRUCTION RESEARCH CONGRESS 2016: OLD AND NEW CONSTRUCTION TECHNOLOGIES CONVERGE IN HISTORIC SAN JUAN, 2016, : 829 - 838
  • [47] Automated and semi-automated field testing of night vision goggles
    Scopatz, Stephen
    Paszkeicz, Dominic
    Langsdorf, Brent
    INFRARED IMAGING SYSTEMS: DESIGN, ANALYSIS, MODELING, AND TESTING XXVII, 2016, 9820
  • [48] Quality Assurance for Automated and Semi-Automated Pavement Condition Surveys
    Dalla Rosa, Francisco
    Gharaibeh, Nasir G.
    Fernando, Emmanuel G.
    Wimsatt, Andrew
    International Conference on Transportation and Development 2016: Projects and Practices for Prosperity, 2016, : 192 - 201
  • [49] Semi-Automated Construction of Adversarial Agents for Trainable Automated Forces
    Abbott, Robert G.
    Lakkaraju, Kiran
    Warrender, Christina
    AAMAS'14: PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2014, : 1699 - 1700
  • [50] Semi-automated Modelling of Optimized BPMN Processes
    Falcone, Ylies
    Salaun, Gwen
    Zuo, Ahang
    2021 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2021), 2021, : 425 - 430
12345