bibliographer - Sean McLaughlin

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

A Revision of the Proof of the Kepler Conjecture Thomas C. Hales John Harrison Sean McLaughlin Tobias Nipkow Steven Obua Roland Zumkeller [github]

A FORMAL PROOF OF THE KEPLER CONJECTURE THOMAS HALES MARK ADAMS GERTRUD BAUER TAT DAT DANG JOHN HARRISON LE TRUONG HOANG CEZARY KALISZYK VICTOR MAGRON SEAN MCLAUGHLIN TAT~THANG NGUYEN QUANG TRUONG NGUYEN TOBIAS NIPKOW STEVEN OBUA JOSEPH PLESO JASON RUTE ALEXEY SOLOVYEV THI HOAI AN TA NAM TRUNG TRAN THI DIEP TRIEU JOSEF URBAN KY VU ROLAND ZUMKELLER [github]

Library Size: 13G (2 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]