TeXmacs tips: 给定理环境添加别名

A method to use thm, def etc. for short to enter related environment in Texmacs...

拉姆齐数一个下界的概率证明

A lower bound of Ramsey number

射影平面的直观理解

Projective plane

使用 MobaXTerm/VNC 打开图像化的远程服务器

MobaXTerm and VNC

方程的染色问题

partition regular equations with Ramsey theory.

三角恒等式的几何表达

trigonometric identities

非交换多项式环和Ore扩张

Ore extension