Technology - Discuz Math Forum

Discuz Math Forum»Forum› Technology

Latest images

Latest threads

Last Replied

Hot threads

Technology

TeX / LaTeX

437

2660

将 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

465

1627

Obsidian Publish 知识管理平台 2025-7-22 09:57 hbghlyj

× To Top Return to the board

2025-7-24 21:24 GMT+8

Powered by Discuz!

Processed in 0.012066 seconds, 12 queries