首页> 外文会议>Automated deduction-CADE-16 >System description: Math Web, an agent-based communication layer for distributed automated theorem proving

【24h】

System description: Math Web, an agent-based communication layer for distributed automated theorem proving

机译：系统描述：Math Web，用于分布式自动定理证明的基于代理的通信层

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

Real-world applications of theorem proving require open and modern software environments that enable modularization, distribution, inter-operability, networking, and coordination. This system description presents the MathWeb approach for distributed automated theorem proving that connects a wide-range of mathematical services by a common, mathematical software bus. The MathWeb system provides the functionality to turn existing theorem proving systems and tools into mathematical services that are homogeneously integrated into a networked proof development environment. The environment thus gains that services from these particular modules, but each module in turn gains from using the features of other, plugged-in components.

机译：定理证明的实际应用需要开放和现代的软件环境，以实现模块化，分布，互操作性，联网和协调。该系统描述介绍了用于分布式自动定理证明的MathWeb方法，该方法通过一条通用的数学软件总线连接各种数学服务。 MathWeb系统提供了将现有的定理证明系统和工具转变为数学服务的功能，这些服务被均匀地集成到网络证明开发环境中。因此，环境从这些特定的模块中获得了服务，但是每个模块又从使用其他插入式组件的功能中获得了收益。

著录项

来源
《Automated deduction-CADE-16》|1999年|p.217-221|共5页
会议地点 Trento(IT);Trento(IT)
作者
Andreas Franke; Michael Kohlhase;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. An Insight into NTP (Neural Theorem Provers) in the Context of Image Processing Algorithms R&D - A Simple Suggestion and Short Communication on Exploring HO List and DeepHOL: Machine Learning (ML) of Higher Order Theorem Proving [J] . Nirmal Tej Kumar International Journal of Applied Research on Information Technology and Computing . 2020,第1期

机译：在图像处理算法的背景下对NTP（神经理定理）的洞察 - 探索HO列表和深脑的简单建议和短期通信：高阶定理的机器学习（ML）证明
2. Differential Dynamic Logics Automated Theorem Proving for Hybrid Systems [J] . André Platzer KI - Künstliche Intelligenz . 2010,第1期

机译：混合系统的微分动态逻辑自动定理证明
3. Differential Dynamic Logics - Automated Theorem Proving for Hybrid Systems [J] . Andre Platzer Kunstliche Intelligenz . 2010,第1期

机译：微分动态逻辑-混合系统的自动定理证明
4. System description: Math Web, an agent-based communication layer for distributed automated theorem proving [C] . Andreas Franke, Michael Kohlhase International conference on automated deduction . 1999

机译：系统描述：数学Web，一种基于代理的通信层，用于分布式自动定理证明
5. Automated theorem proving by translation to description logic. [D] . Arhami, Negin. 2015

机译：通过翻译成描述逻辑来自动证明定理。
6. Neural Systems Language: A Formal Modeling Language for the Systematic Description Unambiguous Communication and Automated Digital Curation of Neural Connectivity [O] . Ramsay A. Brown, Larry W. Swanson -1

机译：神经系统语言：用于系统描述明确通信和神经连接自动数字化的形式化建模语言
7. System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving [O] . Andreas Franke, Michael Kohlhase 1999

机译：系统描述：MathWeb，用于分布式自动定理证明的基于代理的通信层
8. Combining Automated Theorem Provers with Symbolic Algebraic Systems: Position Paper [R] . Schumann, Johann 1999

机译：将自动定理证明与符号代数系统相结合：立场文件

System description: Math Web, an agent-based communication layer for distributed automated theorem proving

摘要

著录项

相似文献

相关主题

期刊订阅