Technology - Discuz Math Forum

Discuz Math Forum»Forum› Technology

Latest images

Latest threads

Last Replied

Hot threads

Technology

TeX / LaTeX

438

2663

将 LaTeX 宏（\lean, \leanok, \uses）与 Lean 声明关联，再由 plaTeX 渲染到 HTML 2025-6-26 17:42 hbghlyj

Mathematica

202

802

给一个小数值，能否找到最接近于它的$a+b\sqrt{c}$的有理数$a,b,c$ 2025-6-23 09:03 hbghlyj

Programming

462

1623

撰写 Lean 证明脚本 2025-7-14 16:43 hbghlyj

× To Top Return to the board

2025-7-19 10:49 GMT+8

Powered by Discuz!

Processed in 0.008866 seconds, 12 queries