Explore >> Select a destination
|
You are here 
|
xenaproject.wordpress.com | ||
| | | | |
leanprover-community.github.io
|
|
| | | | | We are proud to announce that as of 15:46:13 (EST) on Thursday, July 14 2022 the Liquid Tensor Experiment has been completed. A year and a half after the challenge was posed by Peter Scholze we have f | |
| | | | |
jiggerwit.wordpress.com
|
|
| | | | | What follows are the opening paragraphs of a pdf document giving an argument for controlled natural languages in mathematics. At the recent Big Proof 2 conference in Edinburgh, I realized that a case must be made for developing a controlled natural language for mathematics. There is little consensus on this issue, and mathematicians and computer... | |
| | | | |
anuragbishnoi.wordpress.com
|
|
| | | | | In the previous post, we saw the problem of determining the asymptotic growth of the function $latex T_L(n)$, which is the largest size of vector subspace $latex C \subseteq \mathbb{F}_3^n$, with the property that for any three distinct vectors $latex u, v, w$ in $latex C$, there is a coordinate $latex i$, such that $latex... | |
| | | | |
diego.codes
|
|
| | | Data Scientist. I like music, keyboards and Legos. Proficient in pop culture references and xkcd. | ||
