基础

目录

• 假设
  • 问
  • 假设
  • Refine
  • 谓词
• 微积分
• 组合数学
  • 分区
  • 排列
  • 排列群
  • 多面体
  • Prufer 序列
  • 子集
  • 格雷码
  • 命名组
  • 伽罗瓦群
  • 组数
  • 实用工具
  • 组构造器
  • 测试工具
  • 张量规范化
  • 有限呈现群
  • 多环群
• 函数
  • 基础
  • 组合
  • 枚举
  • 特殊
• 积分
  • 使用 Meijer G-函数计算积分
  • 积分
• 系列
  • 级数展开
  • 序列
  • 傅里叶级数
  • 形式幂级数
  • 序列的极限
• 简化
  • 简化
  • 超几何展开
  • 傅洪光的三角函数简化
• 求解器
  • 丢番图
  • 不等式求解器
  • ODE
  • PDE
  • 求解器
  • Solveset
• abc
• 代数
• 具体
• 核心
• 离散
• 数值评估
• 数值计算
• 术语重写