Art of Problem Solving: Proof without Words

最新推荐文章于 2025-05-12 01:10:15 发布
原创 最新推荐文章于 2025-05-12 01:10:15 发布 · 1.3k 阅读 · 0 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#flash

部署运行你感兴趣的模型镜像

    ArtOfProblemSolving.com是一个数学社区网站。网站里有10个展示数学解题艺术的flash动画，每次打开首页时侧边栏会随机选择一个播放。这10个flash用简陋的动画证明了10个经典结论，整个证明过程只有动画演示，没有用一句话。这些经典证明哪些你已经见过？哪些你一看就懂？你最喜欢哪个？

http://www.matrix67.com/blogimage/2007072901.swf
http://www.matrix67.com/blogimage/2007072902.swf
http://www.matrix67.com/blogimage/2007072903.swf
http://www.matrix67.com/blogimage/2007072904.swf
http://www.matrix67.com/blogimage/2007072905.swf
http://www.matrix67.com/blogimage/2007072906.swf
http://www.matrix67.com/blogimage/2007072907.swf
http://www.matrix67.com/blogimage/2007072908.swf
http://www.matrix67.com/blogimage/2007072909.swf
http://www.matrix67.com/blogimage/2007072910.swf

您可能感兴趣的与本文相关的镜像

Llama Factory

Llama Factory

模型微调
LLama-Factory

LLaMA Factory 是一个简单易用且高效的大型语言模型（Large Language Model）训练与微调平台。通过 LLaMA Factory，可以在无需编写任何代码的前提下，在本地完成上百种预训练模型的微调

[代码大模型]MHPP: Exploring the Capabilities and Limitations of Language Models Beyond Basic Code Generat
强化学习曾小健
06-23 1258
近年来，大型语言模型（LLMs）的进步在代码生成方面大大提高了性能，尤其是在功能级别。例如，GPT-4在HumanEval上的通过率为88.4%。然而，这引发了质疑现有基准在全面评估功能级别代码生成能力方面的充分性。我们的研究分析了两个常见的基准，HumanEval和MBPP，并发现，由于质量、难度和粒度等方面的限制，这些基准可能无法充分评估LLMs的代码生成能力。
The Value Equation价值方程式：如何让你做的任何事都有价值
yu101994的博客
04-02 1207
You are chasing status. 你一定在追求身份地位和影响力，无论你在做什么事情。这是人性中亘古不变的原则，自古以来一直存在。你可以拒绝地位游戏，但这样做，你选择了低地位，这肯定会降低你的影响力，增加你的痛苦，永远不会意识到你仍然在追求地位。认为你没有把追求地位作为一种高尚的追求仍然是一种地位游戏。杀死自我的欲望仍然是自我的欲望。但这并不意味着它是坏的。这意味着这是自然的，一旦你接受了，你开始得到回报。不管你喜欢与否，人们都会根据你的相对地位来评判你。
Proofs without words
Rauber_Hotzenplotz的专栏
12-20 1829
http://www.guokr.com/article/58106/ 当谈到复杂数学定理的证明时，很多人常常为之色变，认为这只是一个枯燥的公式堆砌和深奥的数学推导过程。这当然是一个让笔者感到纠结的误解。因为数学证明中包含的美丽与精巧实在是一道亮丽的风景线，而这种亮丽甚至不需要用语言来描述。所以我在这里盘点了数学里十大不需要语言的证明（proofs without words）。让读者在领略数学
《Proof without Words》问题之一——化圆为方
善良的兽人
04-03 3045
《Proof without Words》问题之一——化圆为方     《Proof without Words》一本好书。     Page.10的一个很经典的问题：The Rolling Circle Squares Itself。意为化圆为方，即作一个正方形，令其面积等于给出的圆的面积。     这是历史上一个著名的无法尺规解决的问题。虽然看起来似乎不大难。我第一次看这
Proofs Without Words电子书下载
matrix67的专栏
09-15 3507
    上一篇日志出自我偶然发现的一本非常精彩的数学书叫做Proofs Without Words，可惜网上只有书里的一部分预览。我苦苦寻找这本书的电子版，但一直没能找到。强大的网友primenumber在那篇日志中留下评论，与大家分享了这本书的完整电子版的下载链接。这果然是一本牛书，全书大概150页，书里面基本上没有文字，一页一页翻起来就如图看漫画书一样，很快就能翻完。每一页都用一
有趣的数学题网站
远有青山
07-26 2697
有趣的数学题网站 本文收集有趣的数学题网站，并根据实际情况更新 1, Maths Link 地址：http://www.artofproblemsolving.com/ 貌似是最大的数学社区 alcumus 栏目提供大量初等数学习题，适合中小学生，有等级和任务系统 community栏目收集了各数学分支习题以及国际和地区赛事习题，适合全年龄 2,
AMC Problems and Solutions
weixin_30762087的博客
07-26 875
AMC Problems and Solutions：https://artofproblemsolving.com/wiki/index.php/AMC_Problems_and_Solutions 心形线：http://www.mathematische-basteleien.de/heart.htm http://www.matrix67.com/blog/archives/223 ...
【期刊】【物理学A:统计力学及其应用】【Physica A: Statistical Mechanics and its Applications】
wq6qeg88的博客
06-27 2495
统计力学概念和技术的应用包括：物理和物理化学系统的应用，如固体、液体和气体、界面、玻璃、胶体、复杂流体、聚合物、复杂网络，经济和社会系统的应用（例如社会经济网络、金融时间序列、基于智能体的模型、系统风险、市场动力学、计算社会科学、科学科学、进化博弈论、 文化和政治复杂性）和交通运输（例如车辆交通、行人和疏散动态、网络交通、生物学中的群体和其他形式的集体运输、细胞内运输模型、自驱动粒子）以及生物系统（生物信号和噪声、生物波动、细胞系统和生物物理学）;我们基于网络的校对服务确保了更快、更不容易出错的过程。
通过主动学习生成自动机 (A Quick Survey of Active Automata Learning) - wcventure
wcventure的博客
03-13 2624
A Quick Survey of Active Automata Learning Remark 1：For Basic theoretical knowledge of the Angluin’s L* Algorithm, the interested reader can refer to this article. Remark 2：go through the article on...
ICCV2017论文摘要汇总
super_chicken的博客
04-18 7408
1. Globally-Optimal Inlier Set Maximisation for Simultaneous Camera Pose and Feature Correspondence Abstract: Estimating the 6-DoF pose of a camera from a single image relative to a pre-computed 3D p...
aopsapi:artofproblemsolving.comcommunity的基本API
04-29
奥帕斯皮 我做了一个节点js模块！ 只需转到您的编码目录，然后键入npm install aopsapi。 它距离完成还很遥远，大多数事情都不起作用，但是朝着正确的方向发展。 我不会推荐使用它。 v1.1.2退出了我修复了userID函数，请让我知道它是否有时仍然无法正常工作。
逆元的几种求法（扩展欧几里得，费马小定理或欧拉定理，特例，打表等）
热门推荐
魔笛手的博客
08-04 4万+
乘法逆元 对于缩系中的元素，每个数a均有唯一的与之对应的乘法逆元x，使得ax≡1(mod n) 一个数有逆元的充分必要条件是gcd(a,n)=1，此时逆元唯一存在 逆元的含义：模n意义下，1个数a如果有逆元x，那么除以a相当于乘以x。 下面给出求逆元的几种方法： 1.扩展欧几里得 给定模数m，求a的逆相当于求解ax=1(mod m) 这个方程可以转化为ax-my=
Super A^B mod C （费马小定理的推广——欧拉定理）
qq_36782366的博客
08-04 2942
题目链接：点击打开链接 题意：求a^b mod c的值，a，c为long long，b可能非常非常大，需要用字符串。 思路; 首先求下b的值，如果b小于c的话不能用欧拉定理，直接快速幂即可。 如果b非常非常大的话，就要用到欧拉定理。 费马小定理的推广——欧拉定理 •模数p从素数推广到一般整数n 欧拉降幂公式 我们需要先求欧拉函数，欧拉的递推式
搞数学竞赛的人怎么进行知识拓展学习
contest_studying的博客
06-27 625
一些学生在到高二结束前，到了这个阶段，一试二试的内容基本上都接触和练习过了，那么这个时候要做的是去收集和阅读一些相对较难，能够开拓自己视野的书，强化自己对于数学的理解。那么就应该去接触更高端前沿的数学竞赛。 因为前沿一直在变化，对于想要冲击省队且之后冲击冬令营金牌或进入集训队的同学，对前沿动态的了解是至关重要的。 从另一个角度讲，这个阶段的学习也不单单是为了数学竞赛了，这些开拓视野的东西，对未来的...
数学无字证明 | 从几何到数列的直观演绎
最新发布
u013669912的博客
05-12 965
……
Bezout's Lemma 学习笔记
CY_TEC的博客
11-09 1036
Bezout’s Lemma 学习笔记 今天手痒，就用 latex 写了下 Bezout’s Lemma 的证明。 为啥要用 latex 写笔记？因为写起来非常爽，看着输出结果非常爽。我就是个颜控。 参考 https://artofproblemsolving.com/wiki/index.php/Bezout%27s_Lemma https://zh.wikipedia.org/wiki/%...
zkw学习笔记
Don't fake it till you made it
01-03 621
关于转化      首先是1.最小费用(可行)流  最小费用最大流 建立超级源  和超级汇  , 对顶点 , 若  0$" width="46" height="15" style="border:0px none; vertical-align:-2px; max-width:100%; font-family:Arial; font-size:16px; line-height:22.
用组合数学的方法证明相似
刘利新西安
04-07 887
美国12年数学竞赛第2题 Problem A circle is divided into 432 congruent arcs by 432 points. The points are colored in four colors such that some 108 points are colored Red, some 108 points are colored G
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值