Here are some of the notes I prepared while studying.
-
- TheoremDep is a website that lists many theorems and shows the dependencies between them.
Theorem X is said to be dependent on theorem Y iff Y is used as a lemma in the proof of X.
- I created TheoremDep to better organize and document my own knowledge.
TheoremDep mainly contains theorems on abstract algebra, linear algebra,
number theory, graph theory, bin-packing and probability.
- Theorems are authored in JSON+Markdown+MathJax.
ConcepDAG
converts them to an HTML+MathJax website.
-
- Some of my notes don't fit into the ‘graph of theorems’ representation,
so instead of adding them to TheoremDep, I use a more self-contained format for them.
- The notes are authored in LaTeX and markdown.
LaTeX is compiled to PDF and markdown is compiled to HTML.
-
- List of results in research papers I read.
Useful for surveying a topic if it contains enough content there.