内容图谱

点击节点查看 · 滚轮缩放 · 拖动平移

图谱可以用方向键切换选中条目，Enter 打开预览，Escape 关闭预览。

• 从代数基本定理看求根与最优化
• 自适应 Simpson 积分
• 复合求积
• Gauss–Legendre 求积
• Newton–Cotes 求积
• 数值微分
• Richardson 外推与 Romberg 积分
• 1254 个座位与近一万四千名学生：Monash Malaysia 图书馆到底需要多少座位？
• 一阶逻辑的归结与定理证明
• 形式逻辑与自然演绎
• 命题逻辑的自动推理
• 当 AI 推进数学，人类的位置在哪里？
• FYP 做了一半，聊聊我的一些感想
• 样条插值
• Hermite 插值
• 插值误差与 Chebyshev 节点
• 多项式插值
• 范畴论
• 拓扑学
• 抽象代数
• 信息论
• 微积分
• 计算数学
• 概率论和数理统计
• 离散数学
• 数学基础
• Newton 法
• 二分法与不动点迭代
• 数值误差与算法质量
• 直接偏好优化（DPO）
• 群体相对策略优化（GRPO）
• 近端策略优化（PPO）
• 为什么语言学至今仍是我研究 AI、数学与计算机科学的一部分
• 从第一性原理讲强化学习
• 作为概率分布的策略
• 已知模型下的规划
• 回报、价值与 Bellman 方程
• 马尔可夫阶梯（MDP）
• 强化学习问题
• 策略梯度（PG）
• 把学习看成受控近似
• 我的个人 AI 工作台：Codex、Hermes、Obsidian 和 CC Switch 怎么分工
• 从噪声到图像：Diffusion Model 的发展简史
• 人工智能
• 从词到注意力：我是如何理解 Transformer 的
• 自建 AI Gateway 实现统一 LLM 访问
• OpenCode 作为早期多智能体工作台
• 数据类型抽象：从接口到代数数据类型
• 线性代数
• 行列式与有向体积
• 特征值、不变子空间与对角化
• 内积、范数与正交
• 线性映射与矩阵表示
• 线性方程组、消元与 LU 分解
• 矩阵与复合
• Matrix as Graph：连接、流量与状态转移
• 矩阵幂、递推与线性动力系统
• 正交投影、最小二乘与 QR 分解
• 奇异值分解、伪逆与低秩近似
• 图 Laplacian 与谱图论
• 对称矩阵、二次型与谱定理
• 向量空间、线性无关与基
• 向量与线性组合
• 函数式编程的基本思想与 cons 列表
• 编程语言
• 大数弱定律
• 矩生成函数
• 期望和方差
• 概率分布
• 内存地址映射的数学基础：从C指针到通用理论
• 从图搜索到状态空间搜索的泛化
• 随机变量
• 数学笔记
• 并行计算
• 算法复杂度
• 我第一次真正理解的 API 边界
• 计算机系统
• 在NixOS和macOS之间搭建统一的个人全局开发环境
• 为什么保留这个网站
• 算法与数据结构
• 关系与序
• 布尔代数与布尔函数
• 数系、算法与递归
• 计数原理与概率公理
• 不等式
• 数学归纳法
• 间接证明
• 分类讨论证明
• 直接证明
• 逆命题、否命题与逆否命题
• 命题与公理系统
• 数论与密码学基础
• 随机过程
• 概率论中的极限定理
• 联合累积分布
• 连续型分布
• 条件概率与独立性
• 有限求和与求和技巧
• 函数与映射
• 朴素集合论
• 数列与级数
• 集合、函数、数列与求和：学习导读
• 图论
• 复数
• 范畴论基础
• 拓扑学导论
• 抽象代数基础
• 信息论基础
• 统计学：基础与推断
• 多元微积分
• 无穷级数
• 微分方程
• 积分学
• 微分学
• 极限与连续性
• 抽象函数与分段函数
• 函数的单调性、奇偶性与周期性