10.9k citations
- Centre National de la Recherche ScientifiqueFR441 papers
- University of California, BerkeleyUS397 papers
- Lawrence Berkeley National LaboratoryUS387 papers
- Columbia UniversityUS372 papers
- Fermi National Accelerator LaboratoryUS361 papers
- University of ManchesterGB352 papers
- Sorbonne UniversitéFR347 papers
- University of MichiganUS346 papers
- University of TorontoCA344 papers
- Iowa State UniversityUS343 papers
- Université Paris CitéFR339 papers
- Michigan State UniversityUS336 papers
83 papers · 1 filter
First M87 Event Horizon Telescope Results. IX. Detection of Near-horizon Circular Polarization
The Event Horizon Telescope Collaboration
Event Horizon Telescope (EHT) observations have revealed a bright ring of emission around the supermassive black hole at the center of the M87 galaxy. EHT images in linear polariza…
Polarimetric Geometric Modeling for mm-VLBI Observations of Black Holes
Freek Roelofs, Michael D. Johnson, Andrew Chael +4
The Event Horizon Telescope (EHT) is a millimeter very long baseline interferometry (VLBI) array that has imaged the apparent shadows of the supermassive black holes M87* and Sagit…
Contextual Refinement Types
Antoine Gaulin, Brigitte Pientka
We develop an extension of the proof environment Beluga with datasort refinement types and study its impact on mechanized proofs. In particular, we introduce refinement schemas, wh…
Semi-Automation of Meta-Theoretic Proofs in Beluga
Johanna Schwartzentruber, Brigitte Pientka
We present a sound and complete focusing calculus for the core of the logic behind the proof assistant Beluga as well as an overview of its implementation as a tactic in Beluga's i…
First Sagittarius A* Event Horizon Telescope Results. VI: Testing the Black Hole Metric
The Event Horizon Telescope Collaboration
Astrophysical black holes are expected to be described by the Kerr metric. This is the only stationary, vacuum, axisymmetric metric, without electromagnetic charge, that satisfies…
First Sagittarius A* Event Horizon Telescope Results. III: Imaging of the Galactic Center Supermassive Black Hole
The Event Horizon Telescope Collaboration
We present the first event-horizon-scale images and spatiotemporal analysis of Sgr A* taken with the Event Horizon Telescope in 2017 April at a wavelength of 1.3 mm. Imaging of Sgr…