activity
20082026
most citedUsing Isabelle to verify special relativity, with application to hypercomputation theory

14 citations · 44 across the 11 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

physics.gen-ph2026★ 1 cited

Groups of Worldview Transformations Implied by Einstein's Special Principle of Relativity over Arbitrary Ordered Fields

Judit Madarász, Mike Stannett, Gergely Székely

In 1978, Yu. F. Borisov presented an axiom system using a few basic assumptions and four explicit axioms, the fourth being a formulation of the relativity principle; and he demonst…