Integrating functional programming and symbolic computation

被引：0
|
作者：
Garcia, JJR
机构：
来源：
MATHEMATICS AND COMPUTERS IN SIMULATION | 1996年 / 42卷 / 4-6期
关键词：
symbolic computation; functional programming; effective homology; central extension; homology of groups;
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Functional programming and symbolic computation provide software for explicit calculations in algebraic topology. We present here one such application to the design of algorithms for computations in the homology of a central extension of groups.
引用
收藏
页码：467 / 473
页数：7
相关论文
共 50 条
  • [1] Integrating functional programming and symbolic computation (vol 42, pg 467, 1996)
    Garcia, JJR
    [J]. MATHEMATICS AND COMPUTERS IN SIMULATION, 1997, 44 (05) : 505 - 511
  • [2] Symbolic computation in hyperbolic programming
    Naldi, Simone
    Plaumann, Daniel
    [J]. JOURNAL OF ALGEBRA AND ITS APPLICATIONS, 2018, 17 (10)
  • [3] Programming and symbolic computation in Maude
    Duran, Francisco
    Eker, Steven
    Escobar, Santiago
    Marti-Oliet, Narciso
    Meseguer, Jose
    Rubio, Ruben
    Talcott, Carolyn
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2020, 110
  • [4] On the virtues of generic programming for symbolic computation
    Li, Xin
    Maza, Marc Moreno
    Schost, Eric
    [J]. COMPUTATIONAL SCIENCE - ICCS 2007, PT 2, PROCEEDINGS, 2007, 4488 : 251 - +
  • [5] INTEGRATING CONNECTIONIST AND SYMBOLIC COMPUTATION FOR THE THEORY OF LANGUAGE
    SMOLENSKY, P
    LEGENDRE, G
    MIYATA, Y
    [J]. CURRENT SCIENCE, 1993, 64 (06): : 381 - 391
  • [6] On symbolic computation of CP Okeke functional equations using Python']Python programming language
    Okeke, Chisom Prince
    Ogala, Wisdom I.
    Nadhomi, Timothy
    [J]. AEQUATIONES MATHEMATICAE, 2024, 98 (02) : 483 - 502
  • [7] On symbolic computation of C.P. Okeke functional equations using Python programming language
    Chisom Prince Okeke
    Wisdom I. Ogala
    Timothy Nadhomi
    [J]. Aequationes mathematicae, 2024, 98 : 483 - 502
  • [8] Heterogeneous knowledge representation: Integrating connectionist and symbolic computation
    Montesi, D
    [J]. KNOWLEDGE-BASED SYSTEMS, 1996, 9 (08) : 501 - 507
  • [9] Heterogeneous knowledge representation integrating connectionist and symbolic computation
    Montesi, D
    [J]. KNOWLEDGE-BASED SYSTEMS, 1997, 10 (02) : 133 - 139
  • [10] Scientific computation and functional programming
    Karczmarczuk, J
    [J]. COMPUTING IN SCIENCE & ENGINEERING, 1999, 1 (03) : 64 - 72
12345