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

Re: Symmetry Arguments

[gustavolacerda.livejournal.com]

So for example, I'm the kind of guy who always asks whether the hypothesized result is invariant under Lorentz transforms (speed-relativity is an abstract philosophical principle).