Record · corpus.blog/posts/01a0bb62-78a8-7397-a2c8-be53a61d67be
Computer theorem prover verifies sophisticated new result
mathscholar.org · published 30 July 2021
A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.
0blogs citing
- First cited
- —
- Most recent
- —
- Rank this month
- not ranked
- Links from this post
- 20
- Words captured
- 1,957
Cited by
No blog we hold has cited this post yet.
Links from this post
Link
Host
en.wikipedia.org
en.wikipedia.org
books.google.com
amazon.com
davidhbailey.com
davidhbailey.com
experimentalmath.info
arxiv.org
newscientist.com
quantamagazine.org
link.springer.com
quantamagazine.org
en.wikipedia.org
link.springer.com
nytimes.com