Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
cokernel
on Feb 15, 2016
|
parent
|
context
|
favorite
| on:
I no longer understand my PhD dissertation
The structure of Doron Zeilberger's proof of the Alternating Sign Matrix Conjecture is reminiscent of this, though possibly not directly inspired by it:
http://www.combinatorics.org/ojs/index.php/eljc/article/view...
ezy
on Feb 16, 2016
[–]
"subsubsubsublemma" kind of cracked me up. He seems very dedicated to not numbering the nested schema in this proof. :-)
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
