Posted in 其他Go平滑曲线计算不可不知的5个数学前提：Lipschitz连续性、Hölder指数、插值唯一性证明（附Coq形式化验证） 第一章：Go平滑曲线计算的数学基 … Go平滑曲线计算不可不知的5个数学前提：Lipschitz连续性、Hölder指数、插值唯一性证明（附Coq形式化验证）Read more by 算法与梦想|2026年4月7日|Coq形式化验证, Go语言平滑曲线计算, Lipschitz连续性, Hölder指数, 插值唯一性证明
