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 App Store
- 免費版
- 教育
商店排名
- -
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 App Store
- 免費版
- 教育
商店排名
- -
Stepwising與 Metamath 比較排名
比較過去 28 天的 Stepwising 排名趨勢與 Metamath
排名
無可用數據
Stepwising VS.
Metamath
12月 15, 2024