会议

符号计算系统设计与实现国际研讨会

内容:符号计算系统设计与实现国际研讨会是一个学术会议。会议主要发表在以下领域:符号计算&符号-数值计算。在整个生命周期中,该会议发表了122篇论文,获得了1016次引用。
论文
多个过滤器

本章 DOI
让-菲利普•维达尔 1 机构(1
1990年4月10
TL;博士:本文介绍了一个基于共享内存多处理器计算Grobner的系统,详细介绍了在16个处理器的Encore机上的实现,以及使用文献中的知名示例执行的测试结果。
文摘:本文介绍了一个基于共享内存多处理器的Grobner计算系统。其基本思想是,每个处理器从未约简临界对集合中选择一个元素,减少与之相关的s多项式,并根据结果更新基和对集合。这种算法的独创性在于它在进程之间需要少量的同步。本文给出了在16个处理器的Encore机上实现的详细信息,并给出了用文献中的知名示例执行的测试结果。

38引用


本章 DOI
1990年4月10
TL;博士:设计一种通用的工具,通过设计新的技术,混合现有的方法形成新的方法,并比较各种方法的相对效率,来计算和可视化代数方程组的解。
文摘:我们正在构建一个通用工具,用于计算和可视化代数方程组的解。针对这个问题和相关的子问题存在多种算法,我们将合并其中的几种算法。我们还利用任意代数集和超曲面之间的多多项式结果和双国映射开发了一套新的求解技术。我们设计的工具应该是可移植的,并允许快速原型的新和现有的算法,在代数和数值方法的智能混合,和真实的解决方案。复杂的解也可以计算出来,但是可视化是很困难的。该软件还应利用现有的任何并行硬件。总之,我们期望通过设计新的技术,混合现有的方法形成新的方法,并比较各种方法的相对有效性,来改进代数方程求解的艺术状态。

36引用


本章 DOI
1993年9月15日
TL;博士:规范语言TROLL light旨在用于信息系统的概念建模,将话语宇宙描述为一个同时存在和相互作用的对象系统,即对象社区。
文摘:规范语言TROLL light旨在用于信息系统的概念建模。它旨在将话语宇宙(UoD)描述为一个同时存在和相互作用的对象系统,即对象社区。

36引用


本章 DOI
1996年9月18日
TL;博士:描述了一个集成在康德代数数论系统中的数字场数据库,它提供了对过去几年计算的数字场表的有效访问,并且易于扩展。
文摘:我们描述了一个集成到代数数论系统中的数字字段数据库。该数据库提供了对过去几年计算的数字字段表的有效访问,并且易于扩展

33引用


本章 DOI
马克·e·Stickel 1 机构(1
1990年4月10
TL;博士:本文描述了一个新的基于Prolog的PTTP实现,该实现使用三个编译时转换将公式转换为直接执行的Prolog子句,并支持一些运行时谓词,并描述了具有深度优先迭代深化搜索和与occurs检查统一的模型消除过程。
文摘:Prolog技术定理证明程序(PTTP)是Prolog的扩展,它对全一阶谓词演算是完整的。与Prolog的不同之处是,它采用了与发生性检查相统一的方法,用深度优先迭代深化搜索代替无界深度优先搜索使搜索策略完整,在Prolog推理中加入模型消去约简规则使推理系统完整。本文介绍了一种新的基于prolog的PTTP实现方法。它使用三个编译时转换将公式转换为Prolog子句,在一些运行时谓词的支持下,直接执行具有深度优先迭代深化搜索和与happens检查统一的模型消除过程。它的高性能超过了基于prolog的PTTP解释器,而且它比早期的基于lisp的编译器更简洁和可读,这使得它在解释性目的上更出色。编译时转换的输入和输出示例提供了一种简单而相当精确的方法来解释PTTP是如何工作的。这个基于Prolog的版本更容易将PTTP定理证明思想合并到Prolog程序中。对Prolog的扩展提出了一些建议,可以用来提高PTTP的性能。

33引用


网络信息
相关会议(5)
符号与代数计算国际研讨会

1.8 k论文33 k引用

83%相关
自动扣款会议

1.1 k论文33.4 k引用

80%相关
自动化推理国际联合会议

484论文11.8 k引用

78%相关
重写技术与应用

891论文18 k引用

77%相关
逻辑程序设计国际会议

2.3 k论文48.9 k引用

76%相关
性能
指标
不。会议前几年的文件
一年 论文
1996 35
1993 32
1992 17
1990 38