Deductive Reasoning
Inductive Reasoning
Theorems of Pappus and Guldinus: Problem Solving
Relation between Mathematical Equations and Block Diagrams
Constraints and Statical Determinacy
Castigliano's Theorem: Problem Solving
您也可能阅读
通过共同作者、期刊和引用图与本文相关的文章。
Cezary Kaliszyk1,2, Karol Pąk3
1Department of Computer Science, University of Innsbruck, Innsbruck, Austria.
这项研究将Isabelle/HOL和Isabelle/Mizar图书馆连接起来,通过定义实数等核心概念的同态. 这使得这些基础系统之间能够同时使用定理和知识转移.
科学领域:
背景情况:
研究的目的:
主要方法:
主要成果:
结论: