physics test cases

[gusl]

What's your favorite equational derivation in physics? I'm testing my equational theorem prover.

If you know any of physics arguments that use any non-standard reasoning (e.g. using diagrams), please please let me know.

Also, if you have any problems which involve semantic reasoning... maybe boring textbook examples will be good enough.

If you're wondering why I'm asking, it's because my thesis is titled "Automating Normal Science".

Ok.. back to Halliday & Resnick.

Comments

[veddersbetter00.livejournal.com]

my memory of such things is really, really fuzzy, but i believe there is a way to derive moment of inertia from density formulas? i found it to be rather simple and fun, but that was lifetimes ago and this suggestion might be not at all along the lines of what you were thinking of.