THE L-MACHINE - AN ATTEMPT AT PARALLEL HARDWARE FOR SYMBOLIC COMPUTATION

被引：0
|
作者：
BUCHBERGER, B
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 229卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：333 / 347
页数：15
相关论文
共 50 条
  • [31] Stiffness Computation and Identification of Parallel Kinematic Machine Tools
    Bonnemains, Thomas
    Chanal, Helene
    Bouzgarrou, Belhassen-Chedli
    Ray, Pascal
    [J]. JOURNAL OF MANUFACTURING SCIENCE AND ENGINEERING-TRANSACTIONS OF THE ASME, 2009, 131 (04): : 0410131 - 0410137
  • [32] PARALLEL COMPUTATION OF THE MATRIX OF THE CHEMICAL DISTANCES ON THE CONNECTION MACHINE
    ORI, O
    MARENZONI, P
    [J]. MOLECULAR SIMULATION, 1993, 11 (06) : 365 - 372
  • [33] PARALLEL DIGITAL AND SYMBOLIC OPTICAL COMPUTATION VIA OPTICAL-PHASE CONJUGATION
    LI, Y
    EICHMANN, G
    DORISINVILLE, R
    ALFANO, RR
    [J]. APPLIED OPTICS, 1988, 27 (10): : 2025 - 2032
  • [34] Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD
    del Rio, Tereso
    England, Matthew
    [J]. MATHEMATICS IN COMPUTER SCIENCE, 2024, 18 (03)
  • [35] DDC DELTA-DRIVEN COMPUTER - A PARALLEL MACHINE FOR SYMBOLIC PROCESSING
    GONZALEZRUBIO, R
    BRADIER, A
    ROHMER, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 272 : 286 - 298
  • [36] VECTORIZED SYMBOLIC MODEL CHECKING OF COMPUTATION TREE LOGIC FOR SEQUENTIAL MACHINE VERIFICATION
    HIRAISHI, H
    HAMAGUCHI, K
    OCHI, H
    YAJIMA, S
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 575 : 214 - 224
  • [37] SYMBA: symbolic computation of squared amplitudes in high energy physics with machine learning
    Alnuqaydan, Abdulhakim
    Gleyzer, Sergei
    Prosper, Harrison
    [J]. MACHINE LEARNING-SCIENCE AND TECHNOLOGY, 2023, 4 (01):
  • [38] SYMBOLIC COMPUTATION USING L-SYSTEMS .2. EXTENSIONS
    GOEL, NS
    SHEN, B
    [J]. APPLIED MATHEMATICS AND COMPUTATION, 1995, 69 (2-3) : 227 - 240
  • [39] Phase difference stereo disparity computation on a SIMD parallel machine
    Valentinotti, F
    Taraglio, S
    [J]. HIGH-PERFORMANCE COMPUTING AND NETWORKING, 1997, 1225 : 127 - 136
  • [40] PARALLEL COMPUTATION OF SYMBOLIC ROBOT MODELS AND CONTROL LAWS - THEORY AND APPLICATION TO TRANSPUTER NETWORKS
    KIRCANSKI, N
    PETROVIC, T
    VUKOBRATOVIC, M
    [J]. JOURNAL OF ROBOTIC SYSTEMS, 1993, 10 (03): : 345 - 368
12345