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 条
  • [1] AUTOMATED AND SEMI-AUTOMATED PERIMETRY
    PRADINES, F
    DELBOSC, B
    ROYER, J
    JOURNAL FRANCAIS D OPHTALMOLOGIE, 1985, 8 (02): : 173 - 185
  • [2] Development and validation of a semi-automated, scalable response to intervention framework in mathematics
    Eudald Correig-Fraga
    Albert Vilalta-Riera
    Cecilia Calvo-Pesce
    SN Social Sciences, 4 (2):
  • [3] Semi-Automated Correction Tools for Mathematics-Based Exercises in MOOC Environments
    Corbi, Alberto
    Burgos, Daniel
    INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE, 2015, 3 (03): : 89 - 95
  • [4] Automated and semi-automated map georeferencing
    Burt, James E.
    White, Jeremy
    Allord, Gregory
    Then, Kenneth M.
    Zhu, A-Xing
    CARTOGRAPHY AND GEOGRAPHIC INFORMATION SCIENCE, 2020, 47 (01) : 46 - 66
  • [5] Semi-Automated Analysis of a Thesis
    Mason, Oliver
    Pennington, Martha C.
    WRITING & PEDAGOGY, 2009, 1 (02): : 303 - 326
  • [6] A SEMI-AUTOMATED DETERMINATION OF PHOSPHOLIPIDS
    KRAML, M
    CLINICA CHIMICA ACTA, 1966, 13 (04) : 442 - &
  • [7] Semi-Automated Intelligent Systems
    Chinam, Srihari Akash
    Reddy, N. V. Subba
    Prema, K., V
    2017 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), 2017, : 110 - 115
  • [8] Semi-Automated Analog Placement
    Lao, Eric
    Louerat, Marie-Minerve
    Chaput, Jean-Paul
    23RD IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS CIRCUITS AND SYSTEMS (ICECS 2016), 2016, : 432 - 433
  • [9] Semi-Automated Data Labeling
    Desmond, Michael
    Duesterwald, Evelyn
    Brimijoin, Kristina
    Brachman, Michelle
    Pan, Qian
    NEURIPS 2020 COMPETITION AND DEMONSTRATION TRACK, VOL 133, 2020, 133 : 156 - 169
  • [10] Semi-automated blastocyst microinjection
    Mattos, Leonardo
    Grant, Edward
    Thresher, Randy
    2006 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), VOLS 1-10, 2006, : 1780 - +
12345