首頁/節點/

数学

(243 篇)
xieyuheng
A formalization of Univalent Axiom
xieyuheng·数学·大約 4 年前
huzhikuizainali
如何证明一个非零向量的伪逆?
huzhikuizainali·数学·大約 4 年前·3 回覆
xieyuheng
一个 Lambda 演算的实现
xieyuheng·数学·超過 4 年前
huzhikuizainali
域内为什么 1+1 等于 0?
huzhikuizainali·数学·超過 4 年前·2 回覆
zeronofreya
请问这样的曲线有标准方程吗?
zeronofreya·数学·超過 4 年前·14 回覆
plko345
请教一个高中生就会的简单数学题
plko345·数学·超過 4 年前·15 回覆
«23456»