Basics# Contents 假设 问 假定 精炼 Predicates 微积分 组合数学 隔墙 排列 置换群 多面体 普鲁弗序列 子集 格雷码 命名组 Galois Groups Number of groups 公用事业 组构造函数 公共应用接口模块 张量正则化 有限呈现群 多环群 功能 初级 组合 枚举 特殊的 积分 用Meijer G函数计算积分 积分 系列 序列展开 序列 傅里叶级数 形式幂级数 序列极限 简化 简化 超几何展开 傅红光的三角化简 解算器 丢番图 不等式解算器 ODE PDE 解算器 解集 ABC公司 代数 混凝土 核心 离散的 数值计算 数值计算 术语重写