Grossman 常数
考虑由如下递推关系确定的实数数列 $\lbrace A_n \rbrace$：
\begin{aligned}
A_{n+2} = \frac{A_n}{1+A_{n+1}} \\
A_0=1,\; A_1=x
\end{aligned} ...
Vim 和 Linux Shell
Windows10 + WSL(Ubuntu 20.04LTS) 用的越来越多，就想系统的入门一下： vim 和 Linux Shell
Vi(m) 入门所有类 Unix 系统都自带 vi，所以学习 vi 收益满满！
参考：如何高效使用 ...
中国剩余定理
仅以此博文，感谢知乎好友 Vivr0
中国剩余定理也称孙子定理，是中国古代求解一次同余方程组的方法。
用现代的语言来说就是：
x \equiv
\left\{
\begin{array}{cc}
a_1 \mod m_1 \\
a_ ...
上流开源免费数学软件之 SageMath
Sage 的是“ 圣”的意思，所以 SageMath 懂啥意思了吧，上流！哈哈。SageMath 整合了当前开源的所有高效包，用来取代 MATLAB（20G)，Mathematics(5G）等商业软件。 而 SageMath 安装包仅 1G ...
Python 调用 C/C++ 之 ctypes
放弃 Julia 之后，我开始想要用 Python + ctypes 满足自己的需求。由于 Windows 搞这个很麻烦，就在 Ubuntu 上搞了，不过我是在 WSL 上做的哈哈。
Python 调用 C 示例ctypes 官方中文文档 ...
Julia 入门到放弃
和 Julia 的一夜情结束了 0.0 ，渣男 dna049 拥抱 SageMath 咯
学完 Python 之后，觉得 Python 更像一个工具箱，啥都能干，但是我真的需要一个（轻量级）科学计算的工具，而不是像 Matlab 一样的 ...
$GL_n(\mathbb{Z}_m)$ 的阶数
由线性无关性，我们不难知道 $|GL_n(\mathbb{Z}_p)| = \prod_{i=0} ^{n-1} (p^n-p^i)$，但是 $|GL_n(\mathbb{Z}_m)|$ 却是一个相对复杂的问题，它本质上是在考虑有限 Abe ...
不超过 $x$ 的素数之和
我们可以在不求出 不超过 $x$ 的所有素数 的情况下，求出最终结果。
f_k(x) \doteq \sum_{p \leq x} p^k
$f_0(x) = \pi(x)$ 这个在 $\pi(x)$ 的计算
$f_1(x) = \sum ...
特殊数列
在知乎上看到一个有趣的问题: 如何证明这个数列无界？ 在此记录一下简单的做法，然后把这篇博客记录以后遇到的一些特殊数列。
证明：当 $x$ 是无理数时，$f_n(x) = \sum_{i=1}^n (-1)^{\lfloor ix \rfl ...
点灯问题之高斯消元法
在知乎的 数学&算法 专栏里看到 点灯游戏的 $O(n^3)$ 算法，觉得挺有意思，特此记录，并且补充代码
点灯游戏简介一层大楼共有 $n \times n$ 个房间，每个房间都有一盏灯和一个按钮。按动一个房间的按钮后，这个房间和 ...