Forum - Discuz Math Forum

Discuz Math Forum»Forum

Today: 2|Yesterday: 10|Posts: 57444|registered: 1646|Welcome new member: ajahak

Latest images

Latest threads

Last Replied

Hot threads

Mathematics

High School

8236

410K

A,B 是圆的对径点，CE,DE 是切线，BE 交圆于 F，BD,AC 交于 G，求证：FA 平分 ∠DFG 2025-7-18 01:34 乌贼

Pure Mathematics

1050

4271

Dimension of Symmetric Matrix Space 2025-7-17 14:19 hbghlyj

Knowledge base

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

General Topics

Applied Mathematics

72

321

两文件逐字节比较判断是否相同耗时多? 2025-7-10 16:04 大白兔奶糖

Site Support

106

981

能不能单独开一个版块，专门存各种定理命题之类的 2025-7-18 08:48 hbghlyj

Casual Talk

146

704

使用拉普拉斯算子检测图像的边缘 2025-6-30 15:24 hbghlyj

Sandbox

Formatting Test

68

377

如果想对一段内容着重强调，应该怎么弄比较好呢？ 2025-5-16 23:56 kuing

2025-7-18 09:18 GMT+8

Powered by Discuz!

Processed in 0.009519 seconds, 11 queries