- 博客(3)
- 资源 (1)
- 收藏
- 关注
RSS订阅
原创 在线解方程
一、自动解题：http://mathy.xyz （适合中学生） 功能：在线解方程、解方程组、因式分解、表达式化简、逻辑表达式化简...二、wolfram科学计算（适合大学生、工程科研） https://www.wolframalpha.com/三、数学表达式转 LaTeX格式 （适合数学编辑）： http://mathy.xyz/latex.jsp四...
2019-04-20 09:53:16
25674
2
原创 【自动证明 vs 算法生成】
艺术的生命在乎想象，几乎所有人的生命和情感都是寄放在想象中的。在我的理解中，数学借助于逻辑发现间接的数量关系，然后提出公式化的解决方案。为什么机器难以理解一个证明过程？1. 数千年以来，证明过程都是给人看的，是为迎合人的需要而设计的。2. 推理中，要判断逻辑式的真假，常需要灵活地借助于常识和背景知识，这对机器来说是困难的。3.机器擅长于用计算来判断逻辑式的真假，人擅长于用逻辑来...
2019-04-18 14:46:42
246
原创 为什么写代码很辛苦？
【为什么写代码很辛苦？】代码为了严谨而不得不冗长。越是冗长，越是难懂。现实如何呢？举一个合并同类项的例子：c+a^100×b^5+a×b^9×c =c+a×b^5(a^99+c×b^4)对于它的合并逻辑，几句人话就可以说得很清楚。但是如果要用编程语言来描述的话，没有1千行~1万行的代码，根本说不清楚。即便是说清楚了，读起来也会非常的繁琐。读完代码之后，你不仅难以知道它在说什么，也难以知...
2019-05-04 10:36:47
2544
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人