首页> 外文OA文献 >Correctness and availability : building computer algebra on top of proof assistants and making proof assistants available over the Web

【2h】

Correctness and availability : building computer algebra on top of proof assistants and making proof assistants available over the Web

机译：正确性和可用性：在证明助手的顶部构建计算机代数，并通过Web提供证明助手

页面导航

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

著录项

作者
Kaliszyk C.S.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Electronic communication of Mathematics and the Interaction of computer Algebra Systems and Proof Assistants [J] . Henk Barendregt, Arjeh M. Cohen urnal of Symbolic Computation . 2001,第1a2期

机译：数学的电子通信与计算机代数系统和证明助手的交互
2. A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs [J] . Tuan Minh Pham, Yves Bertot Electronic Notes in Theoretical Computer Science . 2012,第3期

机译：动态几何软件与用于交互式形式证明的证明助手的组合
3. Experiences from Exporting Major Proof Assistant Libraries [J] . Kohlhase Michael, Rabe Florian Journal of Automated Reasoning . 2021,第8期

机译：出口主要校正助理库的经验
4. Retargeting Open Axiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework [C] . Gabriel Dos Reis, David Matthews, Yue Li Intelligent computer mathematics. . 2011

机译：将开放式公理重新定位为Poly / ML：面向集成的证明助手和计算机代数系统框架
5. Reducing the Costs of Proof Assistant Based Formal Verification or: Conviction without the Burden of Proof. [D] . Tatlock, Zachary Lee. 2014

机译：降低基于证明助手的形式验证的成本或：无需证明负担的定罪。
6. GP-support by means of AGnES-practice assistants and the use of telecare devices in a sparsely populated region in Northern Germany – proof of concept [O] . Neeltje van den Berg, Thomas Fiß, Claudia Meinke, 2009

机译：在德国北部人烟稀少的地区通过AGnES练习助手提供的GP支持以及远程医疗设备的使用–概念证明
7. Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System [O] . Delahaye David, Mayero Micaela 2006

机译：使用计算机代数系统在校对助手中消除代数封闭域上的量词

Correctness and availability : building computer algebra on top of proof assistants and making proof assistants available over the Web

著录项

引文网络

相似文献

相关主题

期刊订阅