Re: [isabelle] Relativity Theory and Isabelle
Here is what Mike Lowry reported on his relativity theory work:
On Dec 19, 2006, at 8:20 AM, Michael Lowry wrote:
I did some work on trying to formalizing the mapping from Newtonian
mechanics to special relativity (using orbits of groups), but stopped
well short of general relativity. My interest was in understanding
uses previous theories as approximations, and then bootstraps to
using new types of symmetries (e.g., for special relativity, the
are defined by the Lorentz transformations).
I am pretty sure that there is a well worked out package in
for General Relativity.
Mike: Didn't you have a formalization of relativity theory (not
On Dec 18, 2006, at 7:48 AM, clefort wrote:
Has anyone on this group know of a Theory in Isabelle worked out
for General Relativity?
This archive was generated by a fusion of
Pipermail (Mailman edition) and