Archive for August 19th, 2014
Talk: Proving Mathematical Theorems Using Computers
Posted by: holdenlee on August 19, 2014
All content on this blog is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License.
Categories
- books (11)
- historical fiction (1)
- science fiction (2)
- communication (1)
- ds106 (1)
- assignments (1)
- video (1)
- assignments (1)
- education (13)
- intelligence (4)
- AI (3)
- life (9)
- food (1)
- grad school (1)
- life lessons (3)
- MIT (3)
- traveling (1)
- math (43)
- Algebra (13)
- Group Theory (2)
- Linear Algebra (4)
- Analysis (7)
- Calculus (1)
- Complex Analysis (1)
- Real Analysis (4)
- Combinatorics (7)
- Graph Theory (1)
- Geometry (3)
- Combinatorial Geometry (1)
- manifolds (1)
- Logic (2)
- Category Theory (1)
- Set Theory (1)
- Number Theory (8)
- theoretical computer science (8)
- algorithms (1)
- coding theory (1)
- cryptography (2)
- machine learning (2)
- Topology (3)
- Algebra (13)
- media (14)
- philosophy (6)
- rationality (1)
- religion (1)
- Programming (2)
- social science (4)
- psychology (2)
- technology (2)
- Uncategorized (8)
- Writing (18)
- poetry (1)
- Short story (4)
- storytelling (4)
Blogroll
- Academically interesting (Jacob Steinhardt)
- Annoying Precision (Qiaochu Yuan)
- dy/dan (Dan Myer)
- EdTechResearcher (Justin Reich)
- Gödel’s Lost Letter
- Holden Lee's website
- Jacob's Stuff (Jacob Cole)
- Jenny Xie's Blog
- l'essentiel est invisible pour les yeux
- Logodaedaly (Stephanie Cheng)
- Math (Intersection) Programming
- Math with Bad Drawings
- Mathophilia (Leonid C.)
- My Old Blog
- Teacherken (Kenneth Bernstein)
- The College Classroom
- THOUGHTS (Emanuele Viola)
Education
Calendar
| M | T | W | T | F | S | S |
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | ||||
| 4 | 5 | 6 | 7 | 8 | 9 | 10 |
| 11 | 12 | 13 | 14 | 15 | 16 | 17 |
| 18 | 19 | 20 | 21 | 22 | 23 | 24 |
| 25 | 26 | 27 | 28 | 29 | 30 | 31 |
Join 1,289 other subscribers
Mental Wilderness 