Chapter 3: mathematics

3.1 tool

formula typesetting
- TeX
  - LaTeX
    - pdfLaTeX
    - XeLaTeX
    - editor/tool:
      - LyX
      - OverLeaf
      - MathPix Snip
      - Micro$oft Office Word
        
        WordTeX https://tomwildenhain.com/wordtex/
        
        Pandoc dependent
        
        https://superuser.com/questions/1114697/select-a-different-math-font-in-microsoft-word
        
        https://www.youtube.com/watch?v=jlX_pThh7z8
      - Micro$oft Office PowerPoint
        
        IguanaTeX https://www.jonathanleroux.org/software/iguanatex/
- MathML
- MathJax: JavaScript
plot^[5]
proof: type theory
- LEAN^[82]
symbolic computing
- SageMath: by University of Washington
  - Sage^[93]
- Maple: by MapleSoft
- Mathematica: by Wolfram
numeric computing
- MatLab: by MathWorks

equivalence relation^[14]

equivalence class^[13]

3.2 discipline

3.3 learning map

pure mathematics
- logic^[60]
  - Shai Ben-David
- 林秀豪 Lin, Hsiu-Hau / Porcupine Lin / Hedgehog Note
  - 應數: 2019
    - 1
    - 2
  - 普物
  - 熱物
- algebra
  - linear algebra^[55]
    - 漫士沉思錄: 無痛線代
    - 周志成 CCJou
      - 線代啟示錄 CCJou: LA Revelation
    - 3B1B
    - 齊震宇線性代數
  - abstract algebra
    - group theory
      - EpicOrganism = AIRoswell = Pan, Yi-Wen¹: 群論
- analysis^[56]
  - real analysis
    - 陳金次
  - complex analysis
  - 齊震宇
  - 林琦焜
  - tensor analysis
applied mathematics
- statistics^[18]
  - 洪弘 Hung Hung
    - mathematical statistics
    - biostatistics
  - 陳鄰安
  - 張翔/廖崇智
  - Brandon Foltz
    - nonparametric methods
  - 楊欣洲: genetics
  - 王超辰: 醫學統計學/LSHTM notes
  - Brady Neal: causal inference
    - full lecture
    - short lecture
- computer graphics^[62]
  - Cem Yuksel

https://www.linkedin.com/in/yiwen-pan-16a90076 ↩︎