Recent content by benno

I'm looking for a list of inference rules used in physics derivations. I think this would be distinct from Wikipedia's list of inference rules. As an example of what I'm referring to, suppose two steps in a derivation are T=1/f Multiply both sides by a value, where the value here is f. T f...

Thanks very much for the clear explanation. That was exactly what I was looking for.

Hello. I have some questions on operations. Suppose in the course of a derivation there is a mathematical statement of the form A+1=B+C then "+" is an operator acting on inputs "B" and "C". Question 1: Is the output of the operation "A" or the expression "B+C"? The reason I think the...

I'm working on creating graphs of derivations in physics and am searching for prior work in this area. As an example, I've posted pictures of the graph of Euler's equation https://physics-equations-graph.googlecode.com/svn/trunk/euler_equation_trig_sqrd_no_labels.png and for the simple harmonic...