示例提示词
解 y'' + 4y = cos(2x) 的特解，保留中间步骤，最后代回原方程验证，并给 LaTeX。
预期产物
符号解、代回验证成立的结果，与可直接粘贴的 LaTeX 表达式。
符号数学
进行符号计算、公式化简与求解，并整理推导过程。
App 内可获取
介绍
用精确的符号计算处理代数化简、求导、积分、级数、方程、微分方程和矩阵问题，也可辅助物理、数论与几何推演。适合学习解题、研究计算，以及需要保留参数和精确表达式的场景。
提供算式、变量含义和必要假设后，它会协助选择求解方法、解释主要步骤，并通过回代、求导或数值抽查复核结果。输出可以整理成公式与推导说明，按需生成 LaTeX 或计算代码，便于写进报告、笔记或后续程序。可选数值扩展的使用范围取决于当前环境具备的能力。
适用场景
- 解微分方程并把推导一步步写出来
- 算积分后用求导回代验证结果
- 把公式排版成 LaTeX 或编译成 C/Fortran 数值代码
- 对矩阵与多项式做精确的符号线性代数
#math#symbolic#algebra#linux
使用示例
示例用于说明请求与期望产物形态，不代表已完成的运行结果。
示例提示词
先确认数学环境可用，再算这个含参积分，参数按正数假设处理，结果给化简形式。
预期产物
确认就绪后给出的精确积分与化简步骤；环境没备好会先说明，而不是硬算。
要求与限制
- 安装平台
- iOS: iOS · Android: Android
- 脚本运行
- 在任务环境中执行脚本
- 最低 App 版本
- 1.7.59
已审核的权限范围
iOS · Android
- 所需能力
- 远程执行环境读取工作区文件写入工作区文件
- 审核确认的工具
- 终端命令
- 已审核依赖
- sympy==1.14.0 · mpmath==1.3.0
- 审核结论
- 通过
- 审核阶段
- 来宾执行验收
- 审核日期
- 2026-10-26
实现与运行细节
- 适配阶段
- frozen
iOS
- 调用工具
- 终端命令
- 所需能力
- 远程执行环境读取工作区文件写入工作区文件
- 实际运行环境
- linux / riscv64 · guest-verified
Android
- 调用工具
- 终端命令
- 所需能力
- 远程执行环境读取工作区文件写入工作区文件
- 实际运行环境
- linux / riscv64 · guest-verified
许可与来源
来源与追踪详情
许可
MIT
MIT (root LICENSE.md)
已核验固定技能子树与所附参考资料，完整适用许可及逐文件适配、素材记录保存在 references/licenses/ 与 references/PROVENANCE.md。
图像与素材署名
- 图像署名
- Floe 原创，AI 辅助示意图。
- 来源
- https://github.com/K-Dense-AI/scientific-agent-skills
- 上游路径
- skills/sympy
- 上游固定提交
- 593377bb04
- 来源核对日期
- 2026-10-26
- 发布者
- JiangNanGenius
- 发布提交（获取位置）
- 25e07dbeeb6cc93c2fe83ddc72a34302cc40832a
- 审计来源提交
- 84c524b6fb483e4cad94db076e7d9c9962966c19
- 签名目录摘要
- iOS 46196ba57ed7ea7f22085e74b113207f31193e820ab8983cf7a60eee953f2340 · Android 16de89d019e2057804a40f215485ccb09d5495a25864b34d681168eeaf8f9697
- 发布快照导入 (UTC)
- 2026-10-31
发布提交 25e07dbeeb，审计来源 84c524b6fb；目录摘要 iOS 46196ba57ed7… · Android 16de89d019e2…。
版本与状态
版本记录随签名目录发布；以下为目标与已发布版本。
- 适配状态
- 已就绪
- 发布状态
- 精选技能已上线
- 已发布版本
- 1.0.0