- Home
- 应用程序分析
- Stepwising
- Stepwising Vs. Metamath
Stepwising 对比 Metamath 的使用情况和统计数据
Stepwising invites you to explore, play with, and learn about gravity. You can check out Kepler's laws of planetary motion, observe and discover solutions to the 3-body problem, or try to drive a frictionless car around a circular track of ice.
The program closely approximates the motion of stars, planets, moons, and other celestial objects moving through space under the influence of their gravitational fields. It does this recursively: an object's position determines the amount of force on it, the amount of force on it determines its acceleration, its acceleration determines its average velocity over a short period of time, and its average velocity determines its next position. If the time interval between calculations is small, a very good approximation of the motion is produced.
- Apple 应用商店
- 免费
- 教育
商店排名
- -
This app allows you to view the Metamath theorems and their proofs. It has no ads or in-app purchases.
Metamath is a system for formalizing and verifying math proofs. For information about Metamath, see the web site us.metamath.org or one of its mirror sites.
For a demo of this app, see the youtube video at the url https://www.youtube.com/watch?v=qTOUBEACTz4&list=PLoh8e3Knr9WIEK55cIKwQe5e8CBpA3_ks
- Apple 应用商店
- 免费
- 教育
商店排名
- -
Stepwising与Metamath排名比较
对比 Stepwising 与 Metamath 在过去 28 天内的排名趋势
排名
没有可用的数据
Stepwising VS.
Metamath
十二月 15, 2024