首页> 外文OA文献 >Using Theory Interpretation to Mechanise the Reals in a Theorem Prover

【2h】

Using Theory Interpretation to Mechanise the Reals in a Theorem Prover

机译：用理论解释使定理证明中的实物机械化

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Shield Jamie; Hayes Ian; Carrington David;
展开▼
作者单位

展开▼
年度 2001
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Proving classical theorems of social choice theory in modal logic [J] . Cina Giovanni, Endriss Ulle Autonomous agents and multi-agent systems . 2016,第5期

机译：用模态逻辑证明社会选择理论的经典定理
2. A symbolic finite-state approach for automated proving of theorems in combinatorial game theory [J] . Thanatipanonda T, Zeilberger D Journal of difference equations and applications . 2009,第2期

机译：组合博弈论中自动证明定理的符号有限状态方法
3. A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut-free logic [J] . Arief Daynes Mathematical logic quarterly: MLQ . 2006,第6期

机译：一种使用无割逻辑的有限准一致性模型证明可实现性和一致性定理的新技术
4. Executing the Formal Semantics of the Accellera Property Specification Language by Mechanised Theorem Proving [C] . Mike Gordon, Joe Hurd, Konrad Slind Correct Hardware Design and Verification Methods . 2003

机译：通过机械定理证明执行Accellera属性规范语言的形式语义。
5. Using experimental mathematics to conjecture and prove theorems in the theory of partitions and commutative and non-commutative recurrences. [D] . Russell, Matthew Christopher. 2016

机译：用实验数学猜想和证明定理在分配和可交换与非可交换递归理论中。
6. Realization of the Kohn’s Theorem in Ge/Si Quantum Dots with Hole Gas: Theory and Experiment [O] . Hayk A. Sarkisyan, David B. Hayrapetyan, Lyudvig S. Petrosyan, 2019

机译：Ge / Si量子点中带有空穴气体的Kohn定理的实现：理论与实验
7. Executing the formal semantics of the Accellera Property Specification Language by mechanised theorem proving [O] . Mike Gordon, Joe Hurd, Konrad Slind 2003

机译：通过机械化定理证明执行accellera属性规范语言的形式语义

Using Theory Interpretation to Mechanise the Reals in a Theorem Prover

著录项

引文网络

相似文献

相关主题

期刊订阅