◍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 2012Show all

1 paper · 1 filter

cs.LO2012★ 14 cited

Using Isabelle to verify special relativity, with application to hypercomputation theory

Mike Stannett, István Németi

Logicians at the Rényi Mathematical Institute in Budapest have spent several years developing versions of relativity theory (special, general, and other variants) based wholly on f…

◍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.