Qurak
Tài liệu
Bảng giá
Đăng nhập
Qurak
Tài liệu
Hàm
FindEquationalProof
FindEquationalProof
Không khả dụng
Dạng
FindEquationalProof[thm, axms]
FindEquationalProof[thm, "theory"]
Tùy chọn
TimeConstraint — default Infinity
Tìm trong tài liệu tham chiếu
Liên quan
ProofObject
AxiomaticTheory
FullSimplify
Reduce
FindInstance
← FindEdgeIndependentPaths
FindEulerianCycle →
Tất cả 6300 hàm
·
Dùng cái này từ một client MCP