◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

M. Stannett

11 papers hereh-index 12502 citations79 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author3
  • first author2
  • middle author4
  • last author2

Across the 11 of 11 papers where every author was matched, so the position is known.

fields
  • gr-qc4
  • cs.ET1
  • cs.LO1
  • cs.MM1
  • math-ph1
  • physics.class-ph1
same name
  • M. Stannett — 1 paper

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

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 physics.class-phShow all

1 paper · 1 filter

physics.class-ph2017★ 3 cited

Three Different Formalisations of Einstein's Relativity Principle

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

We present three natural but distinct formalisations of Einstein's special principle of relativity, and demonstrate the relationships between them. In particular, we prove that the…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.