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

463

1623

DeepSeek-Prover-V2通过OpenRouter平台在线免费调用 2025-7-12 12:33 hbghlyj

× To Top Return to the board

2025-7-13 02:40 GMT+8

Powered by Discuz!

Processed in 0.009517 seconds, 12 queries