« 回声

人物Kokic Liu [kokic]

Backlinks

联系 [contact]

Exegesis. 日经观点 [baby-viewpoint]

Theorem. 生成函数系数 [expand-coefficient]

Exegesis. $\footnotesize (1-q)^{-m}$ 的系数 [expand-coefficient-000A]

Solution. [expand-coefficient-000B]

Fibonacci 抛硬币 [fibonacci-flip]

极坐标出现前人们怎样计算高斯积分 [gaussian-integral]

Git 过滤分支 [git-filter-branch]

屏幕右上角的 “FPS GPU CPU 延时” [nvidia-fps-gpu-cpu]

Sagemath Jupyter 主题设置 [sagemath-theme]

Sublime Text 4 高分屏设置 [sublime-text-config]

Wolfram 引擎与 WLJS [wolfram-engine]

Lemma. Young 引理 [young-lemma]

Corollary. Young 不等式 [young-lemma-000A]

Corollary. Bernoulli 不等式 [young-lemma-000B]

Corollary. 加权算术平均–几何平均不等式 [young-lemma-000C]

Definition. 二叉树类型 [binary-tree]

Theorem. Blass–Lawvere 定理 [blass-lawvere]

Exegesis. Casus irreducibilis [casus-irreducibilis]

Definition. 染色图 [chromatic-graph]

Definition. 复数 [complex-number]

Exegesis. Complex step 微分法 [complex-step]

Theorem. 删除–收缩公式 [deletion-contraction]

Proof. [deletion-contraction-proof]

Definition. 对偶数 [dual-number]

Theorem. Fiore–Leinster [fiore-leinster]

Definition. 自由–绑定记号 [free-bound-denote]

Axiom. Kock–Lawvere [kock-lawvere]

Corollary. 所有函数都光滑 [kock-lawvere-000A]

Definition. Schanuel–Lavendhomme 构造 [schanuel-lavendhomme]

七树合一定理 [seven-trees-in-one]

Definition. 栈置换 [stack-permutation]

Example. $n=3$ [stack-permutation-000A]

Proposition. 栈编码与 Hille 编码的等价性 [stack-permutation-000B]

Proof. [stack-permutation-000C]

Proposition. 相交数 [stack-permutation-000D]

Corollary. 相交率 [stack-permutation-000E]

Exegesis. 有效长度的上下界 [stack-permutation-000F]

Proof. [stack-permutation-000G]

栈置换–二叉树同构 [stack-tree-isomorphism]

综合微分法 [synthetic-differential]

Exegesis. 数值微分的误差 [synthetic-differential-000A]

Example. 矩阵表示给出的微分运算 [synthetic-differential-000B]

Exegesis. 复步微分法对数值微分误差的修正 [synthetic-differential-000C]

Exegesis. 矩阵表示 [synthetic-differential-000D]

Exegesis. 链式法则 [synthetic-differential-000E]

回声 [index]

Exegesis. 自动机与矩阵求逆 [automata-matrix]

Example. 二阶矩阵的逆 [automata-matrix-000A]

Example. 分块矩阵的逆 [automata-matrix-000B]

Exegesis. 矩阵闭包 [automata-matrix-000C]

Exegesis. 闭半环的 Conway 条件 [conway-condition]

Conjecture. Kontsevich 周期性猜想 [kontsevich-periodicity]

Exegesis. $n=2$ 交换版本 [kontsevich-periodicity-000A]

Exegesis. 置换矩阵构造 [permutation-matrix]

Theorem. Rayleigh 商定理 [rayleigh-quotient]

Exegesis. [rayleigh-quotient-000A]

Example. [rayleigh-quotient-000B]

Example. [rayleigh-quotient-000C]

Example. [rayleigh-quotient-000D]

Definition. 正则语言集 [regular-language]

Exegesis. 关于半环的注释 [semiring]

Definition. 星半环 [star-semiring]

曲线弧长计算 [arc-length]

冒泡排序合成置换分解 [bubble-compose]

Proof. 置换分解的构造证明 [bubble-compose-proof]

Exegesis. Canterbury 物语 [canterbury]

Problem. Canterbury 谜题 [canterbury-000A]

Solution. Canterbury 谜题的解答 [canterbury-000B]

Lemma. Canterbury 曲线的切线与自身的交点 [canterbury-000C]

Exegesis. 圆曲线 [circular-curve]

Exegesis. 圆的参数化 [circular-parameterization]

Definition. 椭圆函数 [elliptic-functions]

Definition. 椭圆积分 [elliptic-integral]

Exegesis. Fermat 提升法 [fermat-ascent]

周期函数的构造 [periodic-functions]

有理点 [rational-points]

The Celtic Myths 摘录 [celtic-myths]

为民主提供现代定义 — 悼念 F. William Lawvere [mourn-lawvere]

Kodama 编译指令 [compile]

Kodama Compilation Command [compile-en-US]

嵌入语法 [embed-syntax]

Embed Syntax [embed-syntax-en-US]

Github Workflow [github-workflow]

Github Workflow [github-workflow-en-US]

Kodama 教程 [tutorials]

Kodama Tutorials [index-en-US]

内联语法 [inline-syntax]

Inline Syntax [inline-syntax-en-US]

如何安装 Kodama [install]

How to install Kodama [install-en-US]

链接规则 [link-rules]

Link rules [link-rules-en-US]

本地预览 [publish]

Preview [publish-en-US]