数学之妙:无字证明数学算法俱乐部关注共 510字,需浏览 2分钟 ·2021-06-08 19:06 数学算法俱乐部日期 : 2021年06月04日 正文共 :290字来源 : 奇趣数学苑你能根据上图写出什么?辅助角公式的最值—M. Bayat, M. Hassani, & H. Teimoori欧拉半角正切公式Euler’s Half Angle Tangent Formula(Leonhard Euler, 1707–1783)—Don Goldberg— THE END —☞如何通俗地解释欧拉公式(e^πi+1=0)?☞一位北大博士的自白:假如大学可以重来,我一定这样上☞没有痛苦的博士求学经历不是合格的☞那些让学术名流刻骨铭心的数学题☞线性代数的本质及其在AI中的应用☞14岁考入北大少年班,如今节衣缩食上课穿胶鞋,却慷慨资助贫困生 浏览 5点赞 评论 收藏 分享 手机扫一扫分享分享 举报 评论图片表情视频评价全部评论推荐 数学中那些非常奇葩的证明小白学视觉0在新的数学证明中,人工智能取胜数据派THU0陶哲轩6000字详述:计算机辅助数学证明的历史大数据文摘0量子杂志:新数学证明显示图的结构何时涌现大数据文摘0OpenAI推出数学推理证明模型,推理结果首次被数学家接受大数据文摘0里程碑式的数学证明,攻破著名Erdős猜想中关键障碍大数据文摘0《数学女孩》机器学习算法与Python实战0Coq证明辅助工具Coq是一款交互式证明辅助工具,采用OCaml开发。Coq提供一套证明系统,可以编写证明,检查证明。Coq也提供一套形式化语言,可编写数学算法、定义、定理。Coq也可以用于程序的正确性证明(比如操作系数学简史:现代数学的五大应用机器学习算法与Python实战0摩字摩字0点赞 评论 收藏 分享 手机扫一扫分享分享 举报