Formal Verification of Robertson-Type Uncertainty Relation

来源 :量子信息科学期刊(英文) | 被引量 : 0次 | 上传用户：XHR

【摘要】

：

Formal verification using interactive theorem provers have been noticed as a method of verification of proofs that are too big for humans to check the validity

【作者】

：

Takaaki Masuhara Toru Kuriyama

【机构】

：

DepartmentofIntelligentInformationEngineeringandSciences

【出处】

：

量子信息科学期刊(英文)

【发表日期】

：

2015年2期

【关键词】

：

FORMAL Verification PROOF ASSISTANT COQ UNCERTAINTY RELATION Formal Verification

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

Formal verification using interactive theorem provers have been noticed as a method of verification of proofs that are too big for humans to check the validity of them. The purpose of this work is to verify the validity of Robertson-type uncertainty relat

其他文献

新税收征管形势下大型企业税收风险分析及应对策略

在国家不断出台财政税收政策、税务总局持续创新税收征管理论和手段、强化大企业税收征管的新形势下,特别是中共中央办公厅、国务院办公厅印发《深化国税、地税征管体制改革

期刊

税收征管大型企业税收风险应对策略财政税收政策

可扩张通道下单侧MIS-TLIF手术治疗腰椎退行性疾病的成本-效果分析

目的从药物经济学的角度,观察单侧MIS-TLIF手术治疗腰椎退行性疾病的成本-效果值,探讨该术式的社会效益。方法收集了2013-02-2016-02行MIS-TLIF手术治疗的102例腰椎退行性疾

期刊

腰椎退行性疾病微创经椎间孔椎体间融合术单侧椎弓根钉内固定成本-效果分析

百年中国电影与艺术创新

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield

会议

新会计准则下几种视同销售业务的会计处理

目前对视同销售业务的会计处理存在一些分歧。笔者按照新会计准则及应用指南的有关规定对几种视同销售业务的会计处理予以探讨。

期刊

会计处理应用指南委托加工销售业务会计准则代销商品款

移动电话对医学生睡眠质量的影响

目的研究移动电话电磁辐射对青少年睡眠质量的影响,为采取预防措施措施依据.方法对238名拥有移动电话和95名无移动电话的医学生进行调查.以问卷的方式对其一般情况、移动电

期刊

睡眠辐射因素分析统计学学生医科

Quantum Image Searching Based on Probability Distributions

A quantum image searching method is proposed based on the probability distributions of the readouts from the quantum measurements. It is achieved by using low c

期刊

QUANTUMCOMPUTATIONIMAGEProcessingQUANTUMIMAGEQUANTUMCIRCUITIMAGESEARCHI

网络信息技术时代旅游地理教学的几点体会

网络信息技术的发展直接导致了教育模式、内容、方法和手段的更新。本文总结了旅游地理教学中在教学目标的设置、教学内容的安排和教学活动的实践三个环节中把网络技术整合到

期刊

网络信息技术教学目标的设置教学内容的安排教学活动的实践

浙江省1992～2004年食物中毒动态分析与防制策略

研究背景与目的食源性疾病严重危害人们的健康,进食不安全食品导致全球亿万人发病和死亡,食品中的致病菌及有害化学物质对健康的危害越来越引起人们的关注,食品安全是一个重

学位

食物中毒ARIMA模型趋势面分析动态分析防制策略

A Comparative Study on Correlation Measures of Pure Bipartite States through Incomparability

The entanglement of a pure bipartite state is uniquely measured by the von-Neumann entropy of its reduced density matrices. Though it cannot specify all the non

期刊

LOCCENTANGLEMENTIncomparabilityLOCCEntanglementIncomparability

认知语法视阈下空间位移关系构式压制研究

依托认知语法与构式压制理论,通过详略度、视角、凸显和调焦四个识解维度分析发现:压制原则会依照SRCM构式的空间位移描述,从域题元与域语义辖域中调焦出相应成分进行增容或

期刊

空间位移关系构式构式压制认知语法识解

Formal Verification of Robertson-Type Uncertainty Relation

与本文相关的学术论文