Combining Systems for Mathematical Creativity (Invited Talk)

机译：数学创造力组合系统（特邀演讲）

获取原文

获取原文并翻译 | 示例

获取外文期刊封面目录资料

页面导航

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

摘要

We present work on the generation of novel mathematical results by means of integrating heterogeneous reasoning systems.

机译：我们目前通过整合异构推理系统来生成新颖的数学结果。

著录项

来源
《Artificial intelligence and symbolic computation》|2014年|7-8|共2页
会议地点 Seville(ES)
作者
Volker Sorge;
展开▼
作者单位

School of Computer Science University of Birmingham;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. The Quest for Mathematical Understanding of Deep Learning (Invited Talk) [J] . Sanjeev Arora LIPIcs : Leibniz International Proceedings in Informatics . 2020,第2期

机译：寻求深度学习的数学理解（邀请谈话）
2. Finkel Was Right: Counter-Examples to Several Conjectures on Variants of Vector Addition Systems (Invited Talk) [J] . Ranko Lazic LIPIcs : Leibniz International Proceedings in Informatics . 2019,第1期

机译：Finkel是对的：关于向量加法系统变体的几个猜想的反例（特邀演讲）
3. Logical Analysis of Distributed Systems: The Importance of Being Constructive (Invited Talk) [J] . Michael Mendler LIPIcs : Leibniz International Proceedings in Informatics . 2018,第30期

机译：分布式系统的逻辑分析：建设性的重要性（邀请谈话）
4. Invited Talks Invited Talk #1 Deep Learning for NLG and Its Application For Chatbot System [C] . Minh Le Nguyen NAFOSTED Conference on Information and Computer Science . 2018

机译：受邀演讲NLG的受邀演讲＃1深度学习及其在聊天机器人系统中的应用
5. A system-level mathematical description of metabolic regulation combining aspects of elementary mode analysis with cybernetic control laws. [D] . Young, Jamey Dale. 2005

机译：代谢调控的系统级数学描述，将基本模式分析的各个方面与控制论相结合。
6. Mathematical Creativity in Adults: Its Measurement and Its Relation to Intelligence Mathematical Competence and General Creativity [O] . Michaela A. Meier, Julia A. Burgstaller, Mathias Benedek, 2021

机译：成人数学创造力：其测量及其与智力数学能力和一般创造力的关系
7. Mathematical Modelling of Mandibular Metamorphosis from 3D CT (invited talk) [O] . Hilger Klaus Baggesen 2003

机译：三维CT下颌畸形的数学建模（邀请演讲）

Combining Systems for Mathematical Creativity (Invited Talk)

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅