问Isabelle:如何使用矩阵
EN

Stack Overflow用户

提问于 2013-05-27 22:20:58

回答 1查看 412关注 0票数 2

大约2-3周前，我开始学习定理证明者Isabelle。我仍然是一个绝对的初学者，到目前为止，我使用了教程“在Isabelle/HOL中编程和证明”。

到目前为止，我找到的关于矩阵的唯一帮助是查看source code in the HOL library。

现在我想学习如何证明矩阵的性质。矩阵的lambda语法对我来说还是个新鲜事。在Isabelle中是否有关于使用矩阵的教程或基本/中级示例？

回答已采纳

发布于 2013-05-27 23:01:57

以下是法新社http://afp.sourceforge.net/entries/Matrix.shtml中更新的条目

CeTA http://cl-informatik.uibk.ac.at/software/ceta/在这里是作为一个应用程序引用的，因此您可以在那里查看它是如何在实践中使用的示例。

票数 5

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/16775215

复制

相似问题

问Isabelle:如何使用矩阵EN