λ
DPSY / SOSv7.2.0 PRO
Inequality Prover Studio
Exact Symbolic Prover Engine
Chứng minh & Kiểm chứng Bất đẳng thức Đại số
Môi trường tính toán chuyên sâu kết hợp phương pháp SOS chính xác và thuật toán DPSY đa hướng, bảo đảm độ chính xác qua thẩm định ký hiệu trên trường số hữu tỉ ℚ.
SOS Algebraic CertificateExact SOS
a² + b² + c² − ab − bc − ca ≥ 0
≡ ½ · ∑cyc (a − b)² ≥ 0
✓ Đối xứng (Symmetric)
✓ Thuần nhất (Degree 2)
✓ Đẳng thức: a = b = c
Giả thiếtKhai triển SOSChặn không âmChứng minh ∎
Xác minh SymPy / SOS chính xác
Thuật toán DPSY đa hướng
Phiên bảo vệ Cloudflare D1
Mã hóa Argon2id bảo mật