SymPy - Toán ký hiệu trong Python
Skill hướng dẫn Claude dùng SymPy để giải phương trình, đạo hàm, tích phân và đại số ký hiệu với kết quả chính xác tuyệt đối.
Lập trìnhTrung cấp★ 33,030⑂ 3,248Điểm AI 8/10Cập nhật lần cuối: 9 thg 8, 2026
Làm được gì
Skill này dạy Claude sử dụng SymPy, thư viện toán ký hiệu của Python, để cho ra kết quả chính xác (sqrt(2)) thay vì xấp xỉ số (1.414...). Nội dung bao gồm:
- Khai báo biến ký hiệu và dùng giả thiết (
positive=True,integer=True) để rút gọn tốt hơn - Giải tích: đạo hàm, tích phân, giới hạn, khai triển chuỗi
- Chọn đúng solver:
solveset,linsolve,nonlinsolve,dsolve,solve - Đại số tuyến tính ký hiệu (ma trận, giá trị riêng), vật lý, lý thuyết số, hình học qua các tệp tham chiếu riêng
- Xuất kết quả:
lambdifysang NumPy,latex()/pprint()để làm tài liệu, sinh mã C/Fortran
Có thêm mục xử lý lỗi thường gặp: chưa khai báo symbol, dùng 0.5 thay vì Rational(1,2), vòng lặp subs() chậm, rút gọn không như mong đợi.
Phù hợp với ai
- Nghiên cứu viên, học viên cao học cần công thức chính xác và có bước kiểm chứng
- Kỹ sư cần nghiệm giải tích thay vì nghiệm số gần đúng
- Lập trình viên muốn chuyển công thức toán thành hàm Python/C hiệu năng cao
- Giáo viên, sinh viên muốn trình bày bài giải bằng LaTeX gọn gàng
Ví dụ sử dụng
- Giải và kiểm chứng: "Giải x²−5x+6=0 rồi thay nghiệm vào để kiểm tra" → nhận [2, 3] kèm đoạn
simplify(expr.subs(...))xác nhận bằng 0. - Từ ký hiệu sang tính số nhanh: "Lấy đạo hàm của sin(x)/x và vẽ đồ thị trên [−10, 10]" → dùng
diffrồilambdify(..., 'numpy')và vẽ bằng Matplotlib. - Trình bày kết quả cho báo cáo: "Tính ∫₀¹ x² dx và xuất cả LaTeX lẫn giá trị số" → kết hợp
Integral().doit(),latex(),evalf().
· · · Hướng dẫn cài đặt · · ·
Cài vào ứng dụng Claude (không cần terminal)
- Tải tệp ZIP bằng nút bên dưới.
- Trong Claude, mở Settings → Capabilities và bật 'Code execution and file creation'. (chỉ một lần)
- Vào Customize → Skills → + → 'Upload a skill' rồi tải tệp ZIP lên.
Cài vào Claude Code
Để Claude làm — dán câu dưới đây vào Claude Code
Hãy cài skill mình tìm thấy trên Claude Skill Mart. Copy thư mục skills/sympy từ repo GitHub K-Dense-AI/scientific-agent-skills vào ~/.claude/skills/sympy/ của mình. Sau khi cài xong, cho mình biết skill này làm được gì trong một câu.
Cài bằng lệnh thủ công
git clone https://github.com/K-Dense-AI/scientific-agent-skills.git && mkdir -p ~/.claude/skills && cp -r scientific-agent-skills/skills/sympy ~/.claude/skills/⚠ Đây là skill do người khác tạo. Hãy kiểm tra repo gốc trước khi cài.
- Mở Terminal (macOS/Linux) hoặc WSL/Git Bash (Windows).
- Kiểm tra Python:
python3 --version(cần 3.9 trở lên). - Cài SymPy:
pip install "sympy>=1.14"; nên cài thêmpip install numpy scipy matplotlibđể chạy ví dụ lambdify/vẽ đồ thị. - Tải repo skill:
git clone https://github.com/K-Dense-AI/scientific-agent-skills.git - Sao chép skill vào thư mục của Claude:
mkdir -p ~/.claude/skills && cp -r scientific-agent-skills/skills/sympy ~/.claude/skills/ - Kiểm tra:
ls ~/.claude/skills/sympyphải thấy SKILL.md và thư mục references. - Khởi động lại Claude Code và thử yêu cầu: "Dùng SymPy giải x²−5x+6=0".
- Lưu ý: tên tệp tham chiếu trong tài liệu có chỗ ghi
core_capabilities.md, chỗ ghicore-capabilities.md; nếu link lỗi hãy mở thư mục references để xem tên thật.
Xem mã nguồn trên GitHub ↗Giấy phép: MIT