基础

目录

• 假设
  • 询问
  • 假设
  • 细化
  • 谓词
• 微积分
• 组合数学
  • 划分
  • 排列
  • 置换群
  • 多面体
  • 普吕弗序列
  • 子集
  • 格雷码
  • 命名组
  • 伽罗瓦群
  • 群的数量
  • 实用工具
  • 群构造函数
  • 测试实用工具
  • 张量规范化
  • 有限表示群
  • 多循环群
• 函数
  • 基本
  • 组合
  • 枚举
  • 特殊
• 积分
  • 使用迈耶 G 函数计算积分
  • 积分
• 级数
  • 级数展开
  • 序列
  • 傅里叶级数
  • 形式幂级数
  • 序列的极限
• 化简
  • 化简
  • 超几何展开
  • 洪光福的三角函数化简
• 求解器
  • 丢番图
  • 不等式求解器
  • ODE
  • PDE
  • 求解器
  • 解集
• abc
• 代数
• 具体
• 核心
• 离散
• 数值评估
• 数值计算
• 项重写