咨询与建议

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 理学
    • 1 篇 数学
  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 generic algorith...
  • 1 篇 parameterized ty...
  • 1 篇 category theory

机构

  • 1 篇 univ babes bolya...

作者

  • 1 篇 andreica alina

语言

  • 1 篇 英文
检索条件"主题词=parameterized type definitions"
1 条 记 录,以下是1-10 订阅
排序:
Implementing parameterized type algorithm definitions in Mathematica
Implementing parameterized type algorithm definitions in Mat...
收藏 引用
8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
作者: Andreica, Alina Univ Babes Bolyai ICT Dept R-3400 Cluj Napoca Romania
The paper focuses on means of defining parameterized type categories and algorithms built on such types in Mathematica. Symbolic algorithms based on category theory have the advantage of systematically dealing with do... 详细信息
来源: 评论