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 条
  • [21] SYMBOLIC COMPUTATION
    不详
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1985, 1 (01) : 1 - 6
  • [22] Introduction to the GiNaC framework for symbolic computation within the C++ programming language
    Bauer, C
    Frink, A
    Kreckel, R
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2002, 33 (01) : 1 - 12
  • [23] Functional plus logic programming with built-in and symbolic constraints
    Arenas-Sánchez, P
    López-Fraguas, FJ
    Rodríguez-Artalejo, M
    [J]. PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, 1999, 1702 : 152 - 169
  • [24] Computation by interaction for space-bounded functional programming
    Dal Lago, Ugo
    Schoepp, Ulrich
    [J]. INFORMATION AND COMPUTATION, 2016, 248 : 150 - 194
  • [25] Aladin: An abstract machine for integrating functional and procedural programming
    Axford, T
    Joy, M
    [J]. JOURNAL OF PROGRAMMING LANGUAGES, 1996, 4 (02): : 63 - 76
  • [26] CLOS - INTEGRATING OBJECT-ORIENTED AND FUNCTIONAL PROGRAMMING
    GABRIEL, RP
    WHITE, JL
    BOBROW, DG
    [J]. COMMUNICATIONS OF THE ACM, 1991, 34 (09) : 28 - 38
  • [27] High-performance symbolic computation in a hybrid compiled-interpreted programming environment
    Li, Xin
    Maza, Marc Moreno
    Rasheed, Raqeeb
    Schost, Eric
    [J]. INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCES AND ITS APPLICATIONS, PROCEEDINGS, 2008, : 331 - 341
  • [28] Methodologies of Symbolic Computation
    Davenport, James
    [J]. ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION (AISC 2018), 2018, 11110 : 19 - 33
  • [29] Symbolic WCET Computation
    Ballabriga, Clement
    Forget, Julien
    Lipari, Giuseppe
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2018, 17 (02)
  • [30] Symbolic computation packages
    Bramley, R
    [J]. IEEE COMPUTATIONAL SCIENCE & ENGINEERING, 1997, 4 (01): : 89 - 89
12345