Perpendicular-Axis Theorem
The Scope of Physics
Solving Problems in Physics
Theorems of Pappus and Guldinus: Problem Solving
Problem Solving: Dimensional Analysis
Two-Dimensional Force System: Problem Solving
您也可能阅读
通过共同作者、期刊和引用图与本文相关的文章。
1Department of Computer Science, University of Bath, Bath, BA2 7AU, UK.
交互式定理证明器 (ITP) 确保数学正确性. 这部作品探讨了它们在物理学中的应用,倡导开源的PhysLean项目以正式化物理结果.
科学领域:
背景情况:
研究的目的:
主要方法:
主要成果:
结论: