摘要:
SciTech-Mathmatics-Lean : 数学推导的自动化形式化证明语言 Official Site https://lean-lang.org/documentation/ Lean4 - Mathlib4 / 用于形式化数学的准备 (1) 何为 Lean ? Lean is a fun 阅读全文
摘要:
SciTech-Mathmatics-Proba. & Stats.: 判断充满世界的"Distribution":置信区间估计方法 The world is full of distributions, what are the statistical requirements? we have 阅读全文