Topic 23 symbolic computation

机译：主题23符号计算

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

The field of symbolic computation covers a wide range of areas including computer algebra,theorem proving and logic programming.Applications which arise in these areas often lead to extremely large and long computations,so it is natural to look to parallelism as a means to deal with this.

机译：符号计算领域涵盖了许多领域，包括计算机代数，定理证明和逻辑程序设计。在这些领域中出现的应用程序通常会导致超大型和超长的计算，因此自然而然地将并行性视为一种处理方式这个。

著录项

来源
《Euro-Par'99 : Parallel processing》|1999年|p.1465|共1页
会议地点 Toulouse(FR);Toulouse(FR)
作者
Mike Dewar;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. HILBERT–BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC G?ttingen, Germany July 23–29, 2017 [J] . The bulletin of symbolic logic . 2018,第4期

机译：希尔伯特 - 伯尼亚夏季学校逻辑和计算2017年由象征性逻辑G的协会共同赞助？Ttingen，德国2017年7月23日至29日
2. Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation [J] . S. Linton, K. Hammond, A. Konovalov, urnal of Symbolic Computation . 2013,第FEBa期

机译：使用SCSCP轻松编写符号计算软件：一种用于符号计算的新型Lingua Franca
3. Abstracting symbolic matrices Special issue on artificial intelligence and symbolic computation [J] . Randa Almomen, Alan P. Sexton, Volker Sorge Annals of Mathematics and Artificial Intelligence . 2012,第4期

机译：抽象符号矩阵有关人工智能和符号计算的特刊
4. Topic 23 symbolic computation [C] . Mike Dewar International Euro-Par conference on parallel processing . 1999

机译：主题23符号计算
5. Computational and Symbolic Models for Secure Computation [D] . ?Li, Bai Yu 2020

机译：用于安全计算的计算和符号模型
6. A dynamical systems perspective on the relationship between symbolic and non-symbolic computation [O] . Whitney Tabor 2009

机译：关于符号和非符号计算之间关系的动力学系统观点
7. Easy composition of symbolic computation software using SCSCP:A new Lingua Franca for symbolic computation [O] . Linton, S., Hammond, K., Konovalov, A., 2013

机译：使用SCSCP轻松编写符号计算软件：一种用于符号计算的新型Lingua Franca
8. Topics in Stochastics, Symbolic Dynamics and Neural Networks [R] . Burton, R. M. 1996

机译：随机学，符号动力学和神经网络的主题

Topic 23 symbolic computation

摘要

著录项

相似文献

相关主题

期刊订阅