Forum - Discuz Math Forum

Discuz Math Forum»Forum

Today: 1|Yesterday: 10|Posts: 57443|registered: 1646|Welcome new member: ajahak

Latest images

Latest threads

Last Replied

Hot threads

撰写 Lean 证明脚本

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

980

自动生成-站点的技术文档 2025-7-14 10:58 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 03:34 GMT+8

Powered by Discuz!

Processed in 0.008046 seconds, 11 queries