数学可视化与交互演示集合，提供定理与关系的动态图解。/Interactive math visualizations with dynamic diagrams of relations.