跳过正文

Mathematical

loading · loading ·
Haskell 中实现一个简易的lambda 演算解释器
·867 字·2 分钟· loading · loading
Algorithms Mathematical Math Haskell Codewars
实际上这是Codewars的一个题,但没能完全通过。 先放代码
数学家与证明
·1087 字·3 分钟· loading · loading
Mathematical Math
首先,我不得不歌颂下伟大的数学家们(包含哲学家、逻辑学家们)
Coq 证明几何不等式
·267 字·1 分钟· loading · loading
Algorithms Mathematical Math Coq
一开始是想形式化几何不等式(均值不等式),然后想用来证明一些
斐波那契数O(lgn)算法及证明
·1196 字·3 分钟· loading · loading
Algorithms Mathematical Math C/C++
介绍一种对数时间复杂度的斐波那契数列算法。 指数时间 # 我们都知
矩阵运算
·4964 字·10 分钟· loading · loading
Algorithms Mathematical Math C/C++
这篇主要介绍一些矩阵运算相关算法。 矩阵乘法 # 矩阵相乘:\( C
数学-导数篇(持续更新)
·1794 字·4 分钟· loading · loading
Mathematical Math
这里主要存放一些导数题。 题目 # 1.已知向量 \( a = (\sin(x), \frac{3}{4}), b = (\cos(x), -1)
高等数学-积分方程篇(持续更新)
·631 字·2 分钟· loading · loading
Mathematical Math
这里存放一些积分方程题的题解。 题目 # 1.求 \( \int_{0}^{\frac{\pi}{4}} x \ \prod cos(\frac{x}{2^k}) dx \) (from
高中数学-向量篇(持续更新)
·424 字·1 分钟· loading · loading
Mathematical Math
这里是关于向量运算的题目题解,题目质量大概参差不齐。 向量在现
牛顿法(Newton's method)
·961 字·2 分钟· loading · loading
Algorithms Mathematical C/C++ Math
牛顿法也是数值分析中很常见的算法了。嘛,网上对它的各种介绍也